Follow
Daniel Selsam
Daniel Selsam
OpenAI
Verified email at openai.com - Homepage
Title
Cited by
Cited by
Year
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
5582016
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
3092018
Venture: a higher-order probabilistic programming platform with programmable inference
V Mansinghka, D Selsam, Y Perov
arXiv preprint arXiv:1404.0099, 2014
2232014
Guiding high-performance SAT solvers with unsat-core predictions
D Selsam, N Bjørner
International Conference on Theory and Applications of Satisfiability …, 2019
80*2019
Developing bug-free machine learning systems with formal mathematics
D Selsam, P Liang, DL Dill
International Conference on Machine Learning, 3047-3056, 2017
522017
Congruence closure in intensional type theory
D Selsam, L Moura
International Joint Conference on Automated Reasoning, 99-115, 2016
152016
Tabled typeclass resolution
D Selsam, S Ullrich, L de Moura
arXiv preprint arXiv:2001.04301, 2020
11*2020
Imo grand challenge
D Selsam, K Buzzard, R Barton, P Liang, S Loss, F Wiedijk
52020
Universal policies for software-defined mdps
D Selsam, JM Han, L de Moura, P Godefroid
arXiv preprint arXiv:2012.11401, 2020
32020
Beyond the tactic-state automaton
D Selsam
Mathematical Reasoning in General Artificial Intelligence Workshop, ICLR, 2021
12021
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
12020
Formal methods for probabilistic programming
D Selsam, P Liang, DL Dill
Proc. of the Probabilistic Programming Languages, Semantics, and Systems, 2018
12018
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
Neural Networks and the Satisfiability Problem
D Selsam
Stanford University, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–15