152 citations · 235 across the 10 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.AI2020★ 1 cited
Universal Policies for Software-Defined MDPs
Daniel Selsam, Jesse Michael Han, Leonardo de Moura +1
We introduce a new programming paradigm called oracle-guided decision programming in which a program specifies a Markov Decision Process (MDP) and the language provides a universal…
cs.CG2020
Automatically Building Diagrams for Olympiad Geometry Problems
Ryan Krueger, Jesse Michael Han, Daniel Selsam
We present a method for automatically building diagrams for olympiad-level geometry problems and implement our approach in a new open-source software tool, the Geometry Model Build…
cs.LO2020★ 6 cited
Enhancing SAT solvers with glue variable predictions
Jesse Michael Han
Modern SAT solvers routinely operate at scales that make it impractical to query a neural network for every branching decision. NeuroCore, proposed by Selsam and Bjorner, offered a…