152 citations · 204 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2019★ 1 cited
A formalization of forcing and the unprovability of the continuum hypothesis
Jesse Michael Han, Floris van Doorn
We describe a formalization of forcing using Boolean-valued models in the Lean 3 theorem prover, including the fundamental theorem of forcing and a deep embedding of first-order lo…