ML Anthology

Chen, Rex

1 publications

AAAI 2020 Predicting Propositional Satisfiability via End-to-End Learning Chris Cameron, Rex Chen, Jason S. Hartford, Kevin Leyton-Brown