Gpt-4 technical report J Achiam, S Adler, S Agarwal, L Ahmad, I Akkaya, FL Aleman, D Almeida, ...
arXiv preprint arXiv:2303.08774, 2023
11667 * 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
890 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
529 2018 Venture: a higher-order probabilistic programming platform with programmable inference V Mansinghka, D Selsam, Y Perov
arXiv preprint arXiv:1404.0099, 2014
255 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
169 * 2019 Openai o1 system card A Jaech, A Kalai, A Lerer, A Richardson, A El-Kishky, A Low, A Helyar, ...
arXiv preprint arXiv:2412.16720, 2024
135 2024 Developing bug-free machine learning systems with formal mathematics D Selsam, P Liang, DL Dill
International conference on machine learning, 3047-3056, 2017
66 2017 Tabled typeclass resolution D Selsam, S Ullrich, L de Moura
arXiv preprint arXiv:2001.04301, 2020
31 2020 Congruence closure in intensional type theory D Selsam, L de Moura
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
22 2016 Imo grand challenge D Selsam, L de Moura, K Buzzard, R Barton, P Liang, S Loos, F Wiedijk
URL https://imo-grand-challenge. github. io, 2020
12 2020 Automatically Building Diagrams for Olympiad Geometry Problems. R Krueger, JM Han, D Selsam
CADE, 577-588, 2021
5 2021 Competitive Programming with Large Reasoning Models A El-Kishky, A Wei, A Saraiva, B Minaev, D Selsam, D Dohan, F Song, ...
arXiv preprint arXiv:2502.06807, 2025
4 2025 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 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 Formal methods for probabilistic programming D Selsam, P Liang, DL Dill
Workshop on Probabilistic Programming Languages, Semantics, and Systems, 2018
2 2018 D Selsam, JM Han
arXiv preprint arXiv:2102.04633, 2021
2021 LEARNING A SAT SOLVER FROM SINGLE-BIT SUPER D Selsam, M Lamm, B Bünz, P Liang, DL Dill, L de Moura
arXiv preprint arXiv:1802.03685, 2018
2018 