Leonardo de Moura

1. Learning a SAT Solver from Single-Bit Supervision
   2018/02/11 by Daniel Selsam, Selsam, Daniel, Matthew Lamm +9 · 1 voice · 50 citations
   Computer Science · Decision Sciences · #Constraint Satisfaction and Optimization #Software Engineering Research #Auction Theory and Applications
2. CSLib: The Lean Computer Science Library
   2026/02/04 by Clark Barrett, Swarat Chaudhuri, Fabrizio Montesi +5 · 5 voices
   #cs.LO #cs.PL
3. Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
   2020/01/28 by Sebastian Ullrich, Leonardo de Moura · 1 voice · 1 citation
   #cs.PL
4. Universal Policies for Software-Defined MDPs
   2020/12/21 by Daniel Selsam, Selsam, Daniel, Jesse Michael Han +5 · 1 voice · 1 citation
   Computer Science · #cs.AI #cs.PL