--- title: "Daniel Selsam — author profile and papers · Reasoning" description: "Daniel Selsam: 2 papers on Elamur Research (2018–2025), h-index 8 — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/daniel-selsam/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/daniel-selsam/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Daniel Selsam # Daniel Selsam Daniel Selsam has 2 papers in our library, in 2018–2025, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Alexander Wei](https://md.research.elamur.ai/free/en/authors/alexander-wei/), [David Dohan](https://md.research.elamur.ai/free/en/authors/david-dohan/), [Francis Song](https://md.research.elamur.ai/free/en/authors/francis-song/). 2 papers in our library · 2018–2025 [OpenAlex](https://openalex.org/A5058572832) · [**h-index 8**](https://openalex.org/authors/A5058572832) · [16 works](https://openalex.org/works?filter=author.id:A5058572832) · [832 citations](https://openalex.org/works?filter=author.id:A5058572832&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/daniel-selsam/#papers) · [🔗 Cited 11,840 times in our library](https://md.research.elamur.ai/free/en/authors/daniel-selsam/cited-by/) · [2 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #5548](https://md.research.elamur.ai/free/en/paper-stars/page/56/#star-5548) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Daniel+Selsam) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Daniel+Selsam) · [dblp](https://dblp.org/search?q=Daniel+Selsam) · [ACL Anthology](https://aclanthology.org/search/?q=Daniel+Selsam) ## Affiliations [🎓**Stanford University** Stanford · United States 2016–2019 · 7 papers](https://md.research.elamur.ai/free/en/universities/stanford-university/) · [🏢**Microsoft** Redmond · United States 2018–2021 · 4 papers](https://md.research.elamur.ai/free/en/companies/microsoft/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 7 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Computer Networks and Communications · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computer-networks-and-communications/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Computer Science Applications · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computer-science-applications/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2025** 1 paper](https://md.research.elamur.ai/free/en/authors/daniel-selsam/year/2025/) ### 2010s [**2018** 1 paper](https://md.research.elamur.ai/free/en/authors/daniel-selsam/year/2018/) ## Papers The most cited first (OpenAlex and our library). 1. **[Learning a SAT Solver from Single-Bit Supervision](https://md.research.elamur.ai/free/en/papers/selsam-2018-learning-sat-solver-single-bit/)** *(2018 · 232 citations)* Selsam et al. ask whether a neural network can learn to solve propositional satisfiability (SAT), an NP-complete problem, when it is told only whether each instance is satisfiable. They build NeuroSAT, a message passing neural network (MPNN). It represents a CNF formula as a graph of literal and clause nodes and… 2. **[Competitive Programming with Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/el-kishky-2025-competitive-programming-large-reasoning-models/)** *(2025 · 68 citations)* This OpenAI report asks whether LLM performance in competitive programming improves more from hand-built, task-specific inference pipelines or from scaling general reinforcement learning. ## All works 4 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them. 1. [**Learning a SAT Solver from Single-Bit Supervision arXiv:1802.03685**Daniel Selsam, Matthew Lamm, Benedikt Bünz, et al.*2018 · 232 citations*](https://md.research.elamur.ai/free/en/papers/selsam-2018-learning-sat-solver-single-bit/) 2. [**Competitive Programming with Large Reasoning Models arXiv:2502.06807**OpenAI: Ahmed El-Kishky, Alexander Wei, Andre Saraiva, et al.*2025 · 68 citations*](https://md.research.elamur.ai/free/en/papers/el-kishky-2025-competitive-programming-large-reasoning-models/) 3. **[Developing Bug-Free Machine Learning Systems With Formal Mathematics ↗](https://arxiv.org/abs/1706.08605) arXiv:1706.08605 · no summary yet**Daniel Selsam, Percy Liang, David L. Dill*2017 · 42 citations* 4. **[Guiding High-Performance SAT Solvers with Unsat-Core Predictions ↗](https://arxiv.org/abs/1903.04671) arXiv:1903.04671 (International Conference on Theory and Applications of Satisfiability Testing. Springer, Cham, 2019) · no summary yet**Daniel Selsam, Nikolaj Bjørner*2019 · 16 citations* ## Co-authors here 10 co-authors with a page, the most papers together first. - [Alexander Wei](https://md.research.elamur.ai/free/en/authors/alexander-wei/) - [David Dohan](https://md.research.elamur.ai/free/en/authors/david-dohan/) - [Francis Song](https://md.research.elamur.ai/free/en/authors/francis-song/) - [Hunter Lightman](https://md.research.elamur.ai/free/en/authors/hunter-lightman/) - [Jakub Pachocki](https://md.research.elamur.ai/free/en/authors/jakub-pachocki/) - [Jerry Tworek](https://md.research.elamur.ai/free/en/authors/jerry-tworek/) - [Leonardo de Moura](https://md.research.elamur.ai/free/en/authors/leonardo-de-moura/) - [Lorenz Kuhn](https://md.research.elamur.ai/free/en/authors/lorenz-kuhn/) - [Matthew Lamm](https://md.research.elamur.ai/free/en/authors/matthew-lamm/) - [Percy Liang](https://md.research.elamur.ai/free/en/authors/percy-liang/) ## Cited by Papers of our library cite their works 11,840 times (of the 149,439 papers whose bibliographies we read); [2,589 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/daniel-selsam/cited-by/). Updated 2 November 2026