All posts
Geometry study pairs language models with symbolic deduction
A new preprint separates diagram reading from deduction to make geometry solutions easier to inspect.
From diagrams to deductions
A September 9 preprint combines a diagram-to-symbol parser with a symbolic solver to guide a language model through plane geometry.
The authors test problems from China's 2025 Zhongkao examinations and report results comparable to Gemini 2.5 Pro, with more interpretable solutions.
This is a preprint result on a particular benchmark. MathsAI has not independently reproduced the evaluation; broader mathematical reliability remains unestablished.