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.”
—  Archimedes

Other Projects

  • Aristo

    Answering science questions

    Learn More
  • Semantic Scholar

    Semantic Literature Search

    Learn More

    Perceptual Reasoning and Interaction Research

    Learn More