Daniel Selsam

20 papers A* 1A 3Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Competitive Programming with Large Reasoning Models.
CoRR
Ahmed El-Kishky, Alexander Wei, Andre Saraiva, Borys Minaiev, Daniel Selsam, David Dohan, Francis Song, Hunter Lightman, Ignasi Clavera Gilaberte, Jakub Pachocki, Jerry Tworek, Lorenz Kuhn, Lukasz Kaiser, Mark Chen, Max Schwarzer, Mostafa Rohaninejad, Nat McAleese, o3 contributors, Oleg Mürk, Rhythm Garg, Rui Shu, Szymon Sidor, Vineet Kosaraju, Wenda Zhou
2021 A conf
Automatically Building Diagrams for Olympiad Geometry Problems.
CADE
Ryan Krueger, Jesse Michael Han, Daniel Selsam
2021 J jnl
k-Equivalence Relations and Associated Algorithms.
CoRR
Daniel Selsam, Jesse Michael Han
2020 J jnl
Automatically Building Diagrams for Olympiad Geometry Problems.
CoRR
Ryan Krueger, Jesse Michael Han, Daniel Selsam
2020 J jnl
Sealing Pointer-Based Optimizations Behind Pure Functions.
CoRR
Daniel Selsam, Simon Hudon, Leonardo de Moura
2020 J jnl
Sealing pointer-based optimizations behind pure functions.
Proc. ACM Program. Lang.
Daniel Selsam, Simon Hudon, Leonardo de Moura
2020 J jnl
Tabled Typeclass Resolution.
CoRR
Daniel Selsam, Sebastian Ullrich, Leonardo de Moura
2020 J jnl
Universal Policies for Software-Defined MDPs.
CoRR
Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid
2019 A conf
Guiding High-Performance SAT Solvers with Unsat-Core Predictions.
SAT
Daniel Selsam, Nikolaj S. Bjørner
2019 — conf
Learning a SAT Solver from Single-Bit Supervision.
ICLR (Poster)
Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill
2019 — —
Neural networks and the satisfiability problem.
Daniel Selsam
2019 J jnl
NeuroCore: Guiding High-Performance SAT Solvers with Unsat-Core Predictions.
CoRR
Daniel Selsam, Nikolaj S. Bjørner
2018 J jnl
Learning a SAT Solver from Single-Bit Supervision.
CoRR
Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill
2017 J jnl
Congruence Closure in Intensional Type Theory.
CoRR
Daniel Selsam, Leonardo de Moura
2017 A* conf
Developing Bug-Free Machine Learning Systems With Formal Mathematics.
ICML
Daniel Selsam, Percy Liang, David L. Dill
2017 J jnl
Developing Bug-Free Machine Learning Systems With Formal Mathematics.
CoRR
Daniel Selsam, Percy Liang, David L. Dill
2016 A conf
Congruence Closure in Intensional Type Theory.
IJCAR
Daniel Selsam, Leonardo de Moura
2016 — conf
Data Programming: Creating Large Training Sets, Quickly.
NIPS
Alexander J. Ratner, Christopher De Sa, Sen Wu, Daniel Selsam, Christopher Ré
2016 J jnl
Data Programming: Creating Large Training Sets, Quickly.
CoRR
Alexander Ratner, Christopher De Sa, Sen Wu, Daniel Selsam, Christopher Ré
2014 J jnl
Venture: a higher-order probabilistic programming platform with programmable inference.
CoRR
Vikash Mansinghka, Daniel Selsam, Yura N. Perov