Abstract: This article adapts the problem-solving model developed by Pólya to investigate and give an innovative approach to discuss and solve an optimization problem in geometry: the Regiomontanus ...

Abstract: As a representative topic in natural language processing and automated theorem proving, geometry problem solving requires an abstract problem understanding and symbolic reasoning. A major ...

This video shows how to solve algebra problems using geometry, offering a visual approach that makes abstract equations ...

Artificial intelligence has long been trying to mimic human-like logical reasoning. While it has made massive progress in pattern recognition, abstract reasoning and symbolic deduction have remained ...

We further propose a novel geometry solving approach with formal language and symbolic reasoning, called Interpretable Geometry Problem Solver (Inter-GPS). Inter-GPS is the first geometry problem ...

Niels here from the open-source team at Hugging Face. I discovered your work on Arxiv, "A Survey of Deep Learning for Geometry Problem Solving," and was wondering ...

It is important to know properties of these shapes as questions will often involve knowing angle and length properties. For example, remember that each angle in an equilateral triangle is 60°. When a ...