Solving math and geometry problems.

Example Projects


End-to-End Geometry Problem Solver

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.

“The shortest distance between two points is a straight line.”

Other Projects

  • Aristo

    Answering science questions

    Learn More
  • Semantic Scholar

    Semantic Literature Search

    Learn More
  • Plato

    Extracting knowledge from images, diagrams, and videos

    Learn More