Gpt-4 technical report J Achiam, S Adler, S Agarwal, L Ahmad, I Akkaya, FL Aleman, D Almeida, ...
arXiv preprint arXiv:2303.08774, 2023
1610 * 2023 Data programming: Creating large training sets, quickly AJ Ratner, CM De Sa, S Wu, D Selsam, C Ré
Advances in neural information processing systems 29, 2016
809 2016 Learning a SAT solver from single-bit supervision D Selsam, M Lamm, B Bünz, P Liang, L de Moura, DL Dill
arXiv preprint arXiv:1802.03685, 2018
466 2018 Venture: a higher-order probabilistic programming platform with programmable inference V Mansinghka, D Selsam, Y Perov
arXiv preprint arXiv:1404.0099, 2014
247 2014 Guiding high-performance SAT solvers with unsat-core predictions D Selsam, N Bjørner
Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019
136 * 2019 Developing bug-free machine learning systems with formal mathematics D Selsam, P Liang, DL Dill
International Conference on Machine Learning, 3047-3056, 2017
61 2017 Tabled typeclass resolution D Selsam, S Ullrich, L de Moura
arXiv preprint arXiv:2001.04301, 2020
26 * 2020 Congruence closure in intensional type theory D Selsam, L de Moura
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
18 2016 IMO Grand Challenge D Selsam, K Buzzard, R Barton, P Liang, S Loss, F Wiedijk
9 2020 Universal policies for software-defined MDPs D Selsam, JM Han, L de Moura, P Godefroid
arXiv preprint arXiv:2012.11401, 2020
4 2020 Neural Networks and the Satisfiability Problem D Selsam
Stanford University, 2019
4 2019 Formal methods for probabilistic programming D Selsam, P Liang, DL Dill
Workshop on Probabilistic Programming Languages, Semantics, and Systems, 2018
3 2018 Automatically Building Diagrams for Olympiad Geometry Problems. R Krueger, JM Han, D Selsam
CADE, 577-588, 2021
2 2021 Beyond the tactic-state automaton D Selsam
Mathematical Reasoning in General Artificial Intelligence Workshop, ICLR, 2021
2 2021 Sealing pointer-based optimizations behind pure functions D Selsam, S Hudon, L de Moura
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-20, 2020
2 2020 -Equivalence Relations and Associated AlgorithmsD Selsam, JM Han
arXiv preprint arXiv:2102.04633, 2021
2021