Automatically Building Diagrams for Olympiad Geometry Problems.

Ryan Krueger Jesse Michael Han Daniel Selsam

Published in: CoRR (2020)

Keyphrases

three dimensional
problems involving
information retrieval
reinforcement learning
user defined
difficult problems
databases
neural network
artificial intelligence
computer vision
decision trees
multi class