Authors Search About

Alvin, Chris

1 publications

AAAI 2014 Synthesis of Geometry Proof Problems Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy