C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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