paper-with-me

Papers

GeoSketch: A Neural-Symbolic Approach to Geometric Multimodal Reasoning with Auxiliary Line Construction and Affine Transformation

2025-09-26 · Shichao Weng, Zhiqiang Wang, Yuhua Zhou, Rui Lu, Ting Liu, Zhiyang Teng, Xiaozhang Liu, Hanmeng Liu arxiv

Geometric Problem Solving (GPS) poses a unique challenge for Multimodal Large Language Models (MLLMs), requiring not only the joint interpretation of text and diagrams but also iterative visuospatial reasoning. While existing approaches process diagrams as static images, they lack the capacity for dynamic manipulation - a core aspect of human geometric reasoning involving auxiliary line construction and affine transformations. We present GeoSketch, a neural-symbolic framework that recasts geometric reasoning as an interactive perception-reasoning-action loop. GeoSketch integrates: (1) a Perception module that abstracts diagrams into structured logic forms, (2) a Symbolic Reasoning module that applies geometric theorems to decide the next deductive step, and (3) a Sketch Action module that executes operations such as drawing auxiliary lines or applying transformations, thereby updating the diagram in a closed loop. To train this agent, we develop a two-stage pipeline: supervised fine-tuning on 2,000 symbolic-curated trajectories followed by reinforcement learning with dense, symbolic rewards to enhance robustness and strategic exploration. To evaluate this paradigm, we introduce the GeoSketch Benchmark, a high-quality set of 390 geometry problems requiring auxiliary construction or affine transformations. Experiments on strong MLLM baselines demonstrate that GeoSketch significantly improves stepwise reasoning accuracy and problem-solving success over static perception methods. By unifying hierarchical decision-making, executable visual actions, and symbolic verification, GeoSketch advances multimodal reasoning from static interpretation to dynamic, verifiable interaction, establishing a new foundation for solving complex visuospatial problems.

📄 PDF Abstract BibTeX arXiv:2509.22460

Code (0)

등록된 구현이 없습니다.

Tasks

Reinforcement LearningMultimodal Reasoning

Similar Papers 제목 키워드 기반

GenesisGeo: Technical Report

2025-09-26 · Minfeng Zhu, Zi Wang, Sizhe Ji, Zhengtong Du 외 arxiv

Recent neuro-symbolic geometry theorem provers have made significant progress on Euclidean problems by coupling neural guidance with symbolic verification. However, most existing systems operate almost exclusively in a s…

Visual Grounding

Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions

2025-08-05 · Jingxuan Wei, Caijun Jia, Qi Chen, Honghao He 외 arxiv

Mathematical geometric reasoning is essential for scientific discovery and educational development, requiring precise logic and rigorous formal verification. While recent advances in Multimodal Large Language Models (MLL…

Multimodal Reasoning

GeoMathCode: Understanding Interleaved Math-Code Reasoning for Geometry Problem Solving

2026-05-25 · Yingji Zhang, Yong Dai, André Freitas arxiv

Mathematical reasoning is a hallmark of human intelligence, requiring logical deduction, symbolic manipulation, and abstract thinking. Recent multimodal large language models (MLLMs) have demonstrated strong performance …

Mathematical ReasoningCode Generation

Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration

2025-04-17 · YiCheng Pan, Zhenrong Zhang, Pengfei Hu, Jiefeng Ma 외

Recent advances in Multimodal Large Language Models (MLLMs) have achieved remarkable progress in general domains and demonstrated promise in multimodal mathematical reasoning. However, applying MLLMs to geometry problem …

Geometry Problem SolvingLarge Language ModelLogical ReasoningMathematical Reasoning

LatentGeo: Learnable Auxiliary Constructions in Latent Space for Multimodal Geometric Reasoning

2026-03-12 · Haiying Xu, Zihan Wang, Song Dai, Zhengxuan Zhang 외 arxiv

Despite recent advances in multimodal reasoning, representing auxiliary geometric constructions remains a fundamental challenge for multimodal large language models (MLLMs). Such constructions are absent from the origina…

Reinforcement LearningMultimodal Reasoning