Daniel Selsam

Identifiers

• name variant Daniel Selsam 0.60 · backfill

Papers (8)

1. OpenAI o1 System Card cs.AI · 2024 · author #57
2. GPT-4 Technical Report cs.CL · 2023 · author #216
3. Guiding High-Performance SAT Solvers with Unsat-Core Predictions cs.NE · 2019 · author #1
4. Learning a SAT Solver from Single-Bit Supervision cs.AI · 2018 · author #1
5. Developing Bug-Free Machine Learning Systems With Formal Mathematics cs.SE · 2017 · author #1
6. Congruence Closure in Intensional Type Theory cs.LO · 2017 · author #1
7. Data Programming: Creating Large Training Sets, Quickly stat.ML · 2016 · author #4
8. Venture: a higher-order probabilistic programming platform with programmable inference cs.AI · 2014 · author #2

Mentions

• 1404.0099 #2 · backfill · confidence 0.70 Daniel Selsam
• 2303.08774 #216 · backfill · confidence 0.70 Daniel Selsam

Frequent Coauthors

• Andrea Vallone 2 shared papers
• Andrew Kondrich 2 shared papers
• Andrey Mishchenko 2 shared papers
• Angela Jiang 2 shared papers
• Ashvin Nair 2 shared papers
• Barret Zoph 2 shared papers
• Benjamin Sokolowsky 2 shared papers
• Bob McGrew 2 shared papers
• Brandon Houghton 2 shared papers
• Chak Ming Li 2 shared papers
• Chelsea Voss 2 shared papers
• Chong Zhang 2 shared papers
• Daniel Levy 2 shared papers
• David Dohan 2 shared papers
• David Farhi 2 shared papers
• David L. Dill 2 shared papers
• Elizabeth Proehl 2 shared papers
• Felipe Petroski Such 2 shared papers
• Giambattista Parascandolo 2 shared papers
• Greg Brockman 2 shared papers