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 ...

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 ...

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 ...

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 ...

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 ...

The International Mathematical Olympiad (IMO) is a globally recognized competition that challenges high school students with complex mathematical problems. Among its four categories, geometry stands ...