VeriGeo: Controllable Geometry Question Generation with Numerical and Analytical Verification
Quick Answer
VeriGeo is a novel geometry problem generation framework that enhances controllability and reliability through executable reasoning traces.
Quick Take
It utilizes a three-stage verification pipeline to ensure numerical and analytical consistency, achieving top GeoQA performance among -based solvers with supervised fine-tuning on 8.7k examples. This approach significantly improves multimodal geometry reasoning and repairs a substantial fraction of invalid attempts across five LLM backbones.
Key Points
- VeriGeo generates geometry problems with user-defined constraints and verifiable solutions.
- The framework includes a three-stage pipeline for checking consistency and repairing failures.
- Supervised fine-tuning on 8.7k examples leads to top performance on GeoQA benchmarks.
- VeriGeo repairs a significant portion of invalid problem generations across multiple LLMs.
- It enhances AI-assisted education by improving multimodal mathematical reasoning.
Paper Resources
Source Excerpt
arXiv:2606. 14176v1 Announce Type: new Abstract: Geometry problem generation is useful for AI-assisted education and multimodal mathematical reasoning, but reliable synthesis remains difficult because the problem statement, diagram, constraints, and solution should be mutually consistent.
Existing methods often trade off controllability and reliability: seed-based rewriting is flexible but weakly verifiable, whereas diagram-first construction improves validity but is less suited to arbitrary user-specified constraints. We introduce VeriGeo, a controllable geometry generation framework grounded in executable reasoning traces. …
Want this in your inbox every morning?
Daily brief at your local 8am — bilingual EN/中文, free.
More from arXiv cs.AI
See more →HOBA: Hierarchical On-Policy Bidding Agents for Adaptive Online Advertising
HOBA (Hierarchical On-policy Bidding Agents) is a novel hierarchical reinforcement learning framework that enhances online advertising bidding systems by improving adaptability and reducing hyperparameter tuning costs. It utilizes a for hyperparameter inference, a SARSA agent for expert model selection, and a dynamic expert pool for bid execution, achieving a +3.6% increase in target cost during large-scale deployment and outperforming state-of-the-art baselines on AuctionNet.