| 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 | 627 | 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 | 362 | 2018 |
| Venture: a higher-order probabilistic programming platform with programmable inference V Mansinghka, D Selsam, Y Perov arXiv preprint arXiv:1404.0099, 2014 | 229 | 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 | 94* | 2019 |
| Developing bug-free machine learning systems with formal mathematics D Selsam, P Liang, DL Dill International Conference on Machine Learning, 3047-3056, 2017 | 57 | 2017 |
| Congruence closure in intensional type theory D Selsam, L de Moura Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 17 | 2016 |
| Tabled typeclass resolution D Selsam, S Ullrich, L de Moura arXiv preprint arXiv:2001.04301, 2020 | 13* | 2020 |
| IMO Grand Challenge D Selsam, K Buzzard, R Barton, P Liang, S Loss, F Wiedijk | 6 | 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 | 3 | 2019 |
| Formal methods for probabilistic programming D Selsam, P Liang, DL Dill Proc. of the Probabilistic Programming Languages, Semantics, and Systems, 2018 | 3 | 2018 |
| 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 | 1 | 2020 |
| Automatically Building Diagrams for Olympiad Geometry Problems. R Krueger, JM Han, D Selsam CADE, 577-588, 2021 | | 2021 |
| -Equivalence Relations and Associated Algorithms D Selsam, JM Han arXiv preprint arXiv:2102.04633, 2021 | | 2021 |
