Solving math and geometry problems.
Euclid was a research program at AI2 that explored successful question answering approaches in the constrained yet linguistically rich domain of the high school Math SAT (Scholastic Achievement Test). Euclid combined detailed language understanding with diagram processing to answer a variety of algebra and geometry questions at the high school level. In 2015, the Euclid team released an end-to-end geometry problem solver called GeoS, capable of matching the average student test score of 500 (out of 800) on the Math SAT by demonstrating an ability to successfully understand implicit relationships, ambiguous references, and the relationships between diagrams and text. Learn more about GeoS.
Euclid's unique NLP research challenge is now a SemEval 2019 task: Math Question Answering.