Daniel Selsam
Source-listed: Researcher · OpenAI
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- GPT-4 Technical ReportSaved credit: Contributor · 2023Explore people connected to this work →
- OpenAI o1 System CardSaved credit: Contributor · 2024Explore people connected to this work →
- Competitive Programming with Large Reasoning ModelsSaved credit: Contributor · 2025Explore people connected to this work →
- Learning a SAT Solver from Single-Bit SupervisionSaved credit: First author · 2018Explore people connected to this work →
- Tabled Typeclass ResolutionSaved credit: First author · 2020Explore people connected to this work →