Synthesis of Problems for Shaded Area Geometry Reasoning.

Chris Alvin Sumit Gulwani Rupak Majumdar Supratik Mukhopadhyay

Published in: AIED (2017)

Keyphrases

solving problems
problems involving
real time
three dimensional
reasoning problems
machine learning
knowledge base
np complete
benchmark problems
related problems
reasoning tasks
database
real world
objective function
knowledge representation