Venture: a higher-order probabilistic programming platform with programmable inference. - Vikash Mansinghka 001; Daniel Selsam; Yura N. Perov (CoRR, 2014)

Congruence Closure in Intensional Type Theory. - Daniel Selsam; Leonardo de Moura 001 (IJCAR, 2016)

Data Programming: Creating Large Training Sets, Quickly. - Alexander J. Ratner; Christopher De Sa; Sen Wu 002; Daniel Selsam; Christopher Ré (NIPS, 2016)

Developing Bug-Free Machine Learning Systems With Formal Mathematics. - Daniel Selsam; Percy Liang; David L. Dill (ICML, 2017)

Learning a SAT Solver from Single-Bit Supervision. - Daniel Selsam; Matthew Lamm; Benedikt Bünz; Percy Liang; Leonardo de Moura 001; David L. Dill (ICLR (Poster), 2019)

Guiding High-Performance SAT Solvers with Unsat-Core Predictions. - Daniel Selsam; Nikolaj S. Bjørner (SAT, 2019)

NeuroCore: Guiding High-Performance SAT Solvers with Unsat-Core Predictions. - Daniel Selsam; Nikolaj S. Bjørner (CoRR, 2019)

Neural networks and the satisfiability problem. - Daniel Selsam (2019)

Tabled Typeclass Resolution. - Daniel Selsam; Sebastian Ullrich 002; Leonardo de Moura 001 (CoRR, 2020)

Universal Policies for Software-Defined MDPs. - Daniel Selsam; Jesse Michael Han; Leonardo de Moura 001; Patrice Godefroid (CoRR, 2020)

Sealing pointer-based optimizations behind pure functions. - Daniel Selsam; Simon Hudon; Leonardo de Moura 001 (Proc. ACM Program. Lang., 2020)

Automatically Building Diagrams for Olympiad Geometry Problems. - Ryan Krueger; Jesse Michael Han; Daniel Selsam (CADE, 2021)

k-Equivalence Relations and Associated Algorithms. - Daniel Selsam; Jesse Michael Han (CoRR, 2021)

OpenAI o1 System Card. - Aaron Jaech; Adam Kalai; Adam Lerer; Adam Richardson; Ahmed El-Kishky; Aiden Low; Alec Helyar; Aleksander Madry; Alex Beutel; Alex Carney; Alex Iftimie; Alex Karpenko; et al. (CoRR, 2024)

Competitive Programming with Large Reasoning Models. - Ahmed El-Kishky; Alexander Wei; Andre Saraiva 001; Borys Minaiev; Daniel Selsam; David Dohan; Francis Song; Hunter Lightman; Ignasi Clavera Gilaberte; Jakub Pachocki; Jerry Tworek; Lorenz Kuhn; et al. (CoRR, 2025)