708 citations · 727 across the 2 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CL2018
Textual Analogy Parsing: What's Shared and What's Compared among Analogous Facts
Matthew Lamm, Arun Tejasvi Chaganty, Christopher D. Manning +2
To understand a sentence like "whereas only 10% of White Americans live at or below the poverty line, 28% of African Americans do" it is important not only to identify individual f…
cs.AI2018
Learning a SAT Solver from Single-Bit Supervision
Daniel Selsam, Matthew Lamm, Benedikt Bünz +3
We present NeuroSAT, a message passing neural network that learns to solve SAT problems after only being trained as a classifier to predict satisfiability. Although it is not compe…