Follow
Daniel Selsam
Daniel Selsam
OpenAI
Verified email at openai.com - Homepage
Title
Cited by
Cited by
Year
Gpt-4 technical report
J Achiam, S Adler, S Agarwal, L Ahmad, I Akkaya, FL Aleman, D Almeida, ...
arXiv preprint arXiv:2303.08774, 2023
1037*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
7942016
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
4522018
Venture: a higher-order probabilistic programming platform with programmable inference
V Mansinghka, D Selsam, Y Perov
arXiv preprint arXiv:1404.0099, 2014
2462014
Guiding high-performance SAT solvers with unsat-core predictions
D Selsam, N Bjørner
Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019
132*2019
Developing bug-free machine learning systems with formal mathematics
D Selsam, P Liang, DL Dill
International Conference on Machine Learning, 3047-3056, 2017
602017
Tabled typeclass resolution
D Selsam, S Ullrich, L de Moura
arXiv preprint arXiv:2001.04301, 2020
26*2020
Congruence closure in intensional type theory
D Selsam, L de Moura
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
182016
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
92020
Universal policies for software-defined MDPs
D Selsam, JM Han, L de Moura, P Godefroid
arXiv preprint arXiv:2012.11401, 2020
42020
Neural Networks and the Satisfiability Problem
D Selsam
Stanford University, 2019
32019
Formal methods for probabilistic programming
D Selsam, P Liang, DL Dill
Workshop on Probabilistic Programming Languages, Semantics, and Systems, 2018
32018
Automatically Building Diagrams for Olympiad Geometry Problems.
R Krueger, JM Han, D Selsam
CADE, 577-588, 2021
22021
Beyond the tactic-state automaton
D Selsam
Mathematical Reasoning in General Artificial Intelligence Workshop, ICLR, 2021
22021
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
22020
-Equivalence Relations and Associated Algorithms
D Selsam, JM Han
arXiv preprint arXiv:2102.04633, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–16