DS
Daniel Selsam
cs.AIcs.LGcs.LOcs.PLcs.CGcs.CLcs.DScs.MScs.NEcs.SE
On Valency
published · living versionsW_qszyds88·v1 · currentpublished
Competitive Programming with Large Reasoning Models
with OpenAI, :, Ahmed El-Kishky, Alexander Wei +21
1 version
Preprints & journals
11 papers in the corpus · 2016–2025Competitive Programming with Large Reasoning Models2502.06807v2 · OpenAI: Ahmed El-Kishky, Alexander Wei, Andre Saraiva et al.2025 · 6 citationsarXivon Valency
Automatically Building Diagrams for Olympiad Geometry Problems2012.02590v2 · Ryan Krueger, Jesse Michael Han, Daniel Selsam2020 · 8 citationsarXiv
$k$-Equivalence Relations and Associated Algorithms2102.04633v1 · Daniel Selsam, Jesse Michael Han2021 · 0 citationsarXiv
Universal Policies for Software-Defined MDPs2012.11401v1 · Daniel Selsam, Jesse Michael Han, Leonardo de Moura et al.2020 · 1 citationarXiv
Sealing Pointer-Based Optimizations Behind Pure Functions2003.01685v2 · Daniel Selsam, Simon Hudon, Leonardo de Moura2020 · 2 citationsarXiv
Data Programming: Creating Large Training Sets, Quickly.29872252 · Ratner, Alexander, De Sa, Christopher, Wu, Sen et al.2019 · 501 citationsAdvances in neural information processing systems. 2016;29:3567-3575
Guiding High-Performance SAT Solvers with Unsat-Core Predictions1903.04671v7 · Daniel Selsam, Nikolaj Bj\orner2019 · 5 citationsInternational Conference on Theory and Applications of Satisfiability Testing. Springer, Cham, 2019
Learning a SAT Solver from Single-Bit Supervision1802.03685v4 · Daniel Selsam, Matthew Lamm, Benedikt Bunz et al.2018 · 189 citationsarXiv
Data Programming: Creating Large Training Sets, Quickly1605.07723v3 · Alexander Ratner, Christopher De Sa, Sen Wu et al.2016 · 501 citationsAdvances in Neural Information Processing Systems 29, 2016, 3567--3575
Developing Bug-Free Machine Learning Systems With Formal Mathematics1706.08605v1 · Daniel Selsam, Percy Liang, David L. Dill2017 · 41 citationsarXiv
Congruence Closure in Intensional Type Theory1701.04391v2 · Daniel Selsam, Leonardo de Moura2017 · 13 citationsarXiv
Career total: 15 works. 11 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.