Su, Zhendong

4 publications

ICLR 2018 Dynamic Neural Program Embeddings for Program Repair Ke Wang, Rishabh Singh, Zhendong Su

IJCAI 2016 Dimensionally Guided Synthesis of Mathematical Word Problems Ke Wang, Zhendong Su

IJCAI 2015 Automated Geometry Theorem Proving for Human-Readable Proofs Ke Wang, Zhendong Su

IJCAI 2015 Automatic Generation of Raven's Progressive Matrices Ke Wang, Zhendong Su