University of Wisconsin-Madison; Pinterest Inc.; Georgia Institute of Technology; Carnegie Mellon University; Center for AI Safety
Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson
Satisfiability Modulo Theories;Solver Layer;Combinatorial Problem;MAXSAT;SAT
Grounding Neural Inference with Satisfiability Modulo Theories