arXiv AI October 9, 2026 By Jialu Wang, Ruichen Zhang, Xiaoou Liu, Hua Wei, Tianlong Chen

GeoReform: Reflective Formalization Evolution for Multimodal Geometry Problem Solving

GeoReform is a reflective formalization evolution framework designed to improve multimodal geometry problem solving by treating formalization as an optimizable policy rather than a fixed parser. It iteratively runs the reasoning pipeline, collects failures, diagnoses representation defects, and mutates the policy to better select, ground, group, and present geometric entities, relations, constraints, and targets. On the Geometry3K benchmark, GeoReform raises Qwen3VL-2B accuracy from 42.0% to 56.0%, demonstrating that effective formalization is crucial for enhancing multimodal geometry reasoning.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv Computation and Language

Sep 10

From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning

The paper introduces a framework that combines a Geometric Vision Parser and a Symbolic Solver to enable a Large Language Model to solve complex plane geometry problems. By translating diagrams into symbolic representations and performing formal deductions, the approach reduces hallucinations and produces interpretable, human-like solutions. Experiments on a new benchmark from 2025 Chinese Zhongkao exams show performance comparable to Gemini 2.5 Pro.

By Weichen Dai, Rafael Medeiros Cabral, Ziyi Shou, Yan Cao, Xin Shen, Dongcai Lu, Yi Zhou

llms multimodal benchmarks safety

arXiv AI

Jul 15

FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation

arXiv:2607. 12982v1 Announce Type: new Abstract: Math reasoning has achieved significant progress with the rapid advancement of Multimodal Large Language Models (MLLMs), however analytic geometry remains largely underexplored, primarily due to the scarcity of annotated samples.

By Ruoran Xu, Wending Gao, Qiufeng Wang

llms multimodal

arXiv Computer Vision

6d ago

From Pixel to Coding: Evaluating the Figure Reproduction Capabilities of MLLMs

arXiv:2610.10066v1 Announce Type: new Abstract: Multimodal Large Language Models (MLLMs) have demonstrated impressive capabilities in both visual understanding and code generation. However, existing...

By Zijian Chen, Zhengyu Chen, Bohan Liang, Lirong Deng, Yushuo Zheng, Yanwei Jiang, Qi Jia, Kaiwei Zhang, Wenjun Zhang, Guangtao Zhai

llms multimodal benchmarks

arXiv AI

Jun 4

From Symbolic to Geometric: Enabling Spatial Reasoning in Large Language Models

arXiv:2606. 04381v1 Announce Type: cross Abstract: Recent large language models (LLMs) often appear to exhibit spatial reasoning ability; however, this capability is largely \emph{symbolic}, arising from pattern matching over spatial language rather than true \emph{geometric} reasoning over space.

By Chen Chu, Bita Azarijoo, Li Xiong, Khurram Shafique, Cyrus Shahabi

llms multimodal benchmarks

arXiv AI

Aug 26

TangramPuzzle: Evaluating Multimodal Large Language Models with Compositional Spatial Reasoning

arXiv:2601.16520v2 Announce Type: replace-cross Abstract: Multimodal Large Language Models (MLLMs) have achieved remarkable progress in visual recognition and semantic understanding, yet precise comp...

By Daixian Liu, Jiayi Kuang, Yinghui Li, Yangning Li, Di Yin, Haoyu Cao, Xing Sun, Ying Shen, Hai-Tao Zheng, Liang Lin, Philip S. Yu

llms multimodal benchmarks

Hugging Face Trending Papers

Jun 3

From Symbolic to Geometric: Enabling Spatial Reasoning in Large Language Models

Recent large language models (LLMs) often appear to exhibit spatial reasoning ability; however, this capability is largely \emph{symbolic}, arising from pattern matching over spatial language rather than true \emph{geometric} reasoning over space. Because LLMs operate on discrete tokens, they lack native support for continuous spatial representations, explicit geometric computation, and structured spatial operators.

llms multimodal benchmarks

One email a morning, machine-written

Related stories

From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning

FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation

From Pixel to Coding: Evaluating the Figure Reproduction Capabilities of MLLMs

From Symbolic to Geometric: Enabling Spatial Reasoning in Large Language Models

TangramPuzzle: Evaluating Multimodal Large Language Models with Compositional Spatial Reasoning

From Symbolic to Geometric: Enabling Spatial Reasoning in Large Language Models