Ke Wang

Department of Computer Science University of California , Davis

3 papers in the IJCAI proceedings

IJCAI 2016

Dimensionally Guided Synthesis of Mathematical Word Problems

with Zhendong Su

Details PDF

IJCAI 2015

Automated Geometry Theorem Proving for Human-Readable Proofs

with Zhendong Su

Details PDF

Automatic Generation of Raven's Progressive Matrices

with Zhendong Su

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings