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

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Zhang, Yingji, Dai, Yong, Freitas, André
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866911715292086272
author Zhang, Yingji
Dai, Yong
Freitas, André
author_facet Zhang, Yingji
Dai, Yong
Freitas, André
contents 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 on geometry problems through multi-step reasoning. To better emulate human problem-solving, intermediate steps can incorporate auxiliary visual constructions, such as additional lines or points, which improve geometric interpretation and educational clarity. In this work, we introduce the GeoMathCode, where programmatic representations serve as intermediate visual outputs. We further conduct an in-depth analysis of the underlying reasoning geometry. Experimental results show that reasoning and code generation steps can be disentangled in the latent space, while supervised fine-tuning (SFT) makes the reasoning manifold more structured and informative. Moreover, hierarchical syntactic code structures emerge as disentangled latent subspaces, and contain more mathematical symbolic information than visual representations.
format Preprint
id arxiv_https___arxiv_org_abs_2605_25384
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle GeoMathCode: Understanding Interleaved Math-Code Reasoning for Geometry Problem Solving
Zhang, Yingji
Dai, Yong
Freitas, André
Computation and Language
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 on geometry problems through multi-step reasoning. To better emulate human problem-solving, intermediate steps can incorporate auxiliary visual constructions, such as additional lines or points, which improve geometric interpretation and educational clarity. In this work, we introduce the GeoMathCode, where programmatic representations serve as intermediate visual outputs. We further conduct an in-depth analysis of the underlying reasoning geometry. Experimental results show that reasoning and code generation steps can be disentangled in the latent space, while supervised fine-tuning (SFT) makes the reasoning manifold more structured and informative. Moreover, hierarchical syntactic code structures emerge as disentangled latent subspaces, and contain more mathematical symbolic information than visual representations.
title GeoMathCode: Understanding Interleaved Math-Code Reasoning for Geometry Problem Solving
topic Computation and Language
url https://arxiv.org/abs/2605.25384