About

GeoS is an end-to-end system that solves high school geometry questions. Its input is question text in natural language and diagram in raster graphics, and its output is the answer to the question.

Demos

• G-Aligner: Aligning geometric entities in text and diagram.
• GeoS: Solving geometry problems.

Papers

• Solving geometry problems: combining text and diagram interpretation
  Minjoon Seo, Hannaneh Hajishirzi, Ali Farhadi, Oren Etzioni, and Clint Malcolm
  In Proceedings of EMNLP, 2015.
• Diagram understanding in geometry questions
  Minjoon Seo, Hannaneh Hajishirzi, Ali Farhadi, and Oren Etzioni
  In Proceedings of AAAI, 2014.

Data

• Training questions: high school geometry questions
• Test questions 1: SAT practice questions
• Test questions 2: SAT official questions

Source Code

View the Project on GitHub
seominjoon/geosolver

Acknowledgements

The research was supported by the Allen Institute for AI, Allen Distinguished Investigator Award, and NSF (IIS-1352249).