Microsoft Research, Redmond, WA 98052; Department of Computer Science, Stanford University, Stanford, CA 94305
Daniel Selsam, Matthew Lamm, Benedikt B\"{u}nz, Percy Liang, Leonardo Moura, David L Dill
sat;search;graph neural network;theorem proving;proof
Learning a SAT Solver from Single-Bit Supervision