Brief

Researchers have developed a new method for predicting geometry theorems using large language models (LLMs) without requiring gradient-based optimization. Their approach, called Theorem Precedence Graphs, encodes temporal dependencies from historical solutions into directed graphs to guide the LLM's search and overcome a scalability issue known as Structural Drift. This technique allows LLMs to function as structured planners, achieving 89.29% accuracy on the FormalGeo7k benchmark, which rivals state-of-the-art supervised models. AI

Researchers have developed GeoLoom, a new framework designed to generate high-quality geometric diagrams from textual descriptions. This system translates natural language into a formal language called GeoLingua, which is then used by a coordinate solver to produce precise diagrams. To support this, a new dataset called GeoNF has been created, and a novel evaluation metric has been proposed to assess structural accuracy. AI