papers
Publications (4)
cs.AI2019
Learning a SAT Solver from Single-Bit Supervision
Daniel Selsam, Matthew Lamm, Benedikt Bünz +3
cs.CL2018
Textual Analogy Parsing: What's Shared and What's Compared among Analogous Facts
Matthew Lamm, Arun Tejasvi Chaganty, Christopher D. Manning +2
cs.CL2017
The Pragmatics of Indirect Commands in Collaborative Discourse
Matthew Lamm, Mihail Eric
cs.AI2017
Graph Neural Networks and Boolean Satisfiability
Benedikt Bünz, Matthew Lamm