Buchumschlag

GeoFM: Enhancing Geometric Reasoning of MLLMs via Synthetic Data Generation through Formal Language

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Yuhao, Hu, Dingxin, Yu, Tinghao, Liu, Hao, Liu, Yiting
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Socratic-Geo: Synthetic Data Generation and Geometric Reasoning via Multi-Agent Interaction
von: Jiao, Zhengbo, et al.
Veröffentlicht: (2026)

Scaling Spatial Reasoning in MLLMs through Programmatic Data Synthesis
von: Helu, Zhi, et al.
Veröffentlicht: (2025)

FairReason: Balancing Reasoning and Social Bias in MLLMs
von: Pan, Zhenyu, et al.
Veröffentlicht: (2025)

Toward Scalable Terminal Task Synthesis via Skill Graphs
von: Fan, Zhiyuan, et al.
Veröffentlicht: (2026)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
von: Yu, Zhouliang, et al.
Veröffentlicht: (2025)

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
von: Zhang, Xiaokai, et al.
Veröffentlicht: (2023)

SpotAgent: Grounding Visual Geo-localization in Large Vision-Language Models through Agentic Reasoning
von: Jia, Furong, et al.
Veröffentlicht: (2026)

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
von: Ding, Haoran, et al.
Veröffentlicht: (2026)

MME-Reasoning: A Comprehensive Benchmark for Logical Reasoning in MLLMs
von: Yuan, Jiakang, et al.
Veröffentlicht: (2025)

TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
von: Fu, Daocheng, et al.
Veröffentlicht: (2025)

Learning from Reasoning Failures via Synthetic Data Generation
von: Stan, Gabriela Ben Melech, et al.
Veröffentlicht: (2025)

ReactBench: A Benchmark for Topological Reasoning in MLLMs on Chemical Reaction Diagrams
von: Xu, Qiang, et al.
Veröffentlicht: (2026)

AgenticMath: Enhancing LLM Reasoning via Agentic-based Math Data Generation
von: Liu, Xianyang, et al.
Veröffentlicht: (2025)

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
von: Liu, Chengwu, et al.
Veröffentlicht: (2025)

Multimodal Health Risk Prediction System for Chronic Diseases via Vision-Language Fusion and Large Language Models
von: Lu, Dingxin, et al.
Veröffentlicht: (2025)

Rethinking the Text-Vision Reasoning Imbalance in MLLMs through the Lens of Training Recipes
von: Yao, Guanyu, et al.
Veröffentlicht: (2025)

ReasonGRM: Enhancing Generative Reward Models through Large Reasoning Models
von: Chen, Bin, et al.
Veröffentlicht: (2025)

Beyond Scalars: Evaluating and Understanding LLM Reasoning via Geometric Progress and Stability
von: Jiang, Xinyan, et al.
Veröffentlicht: (2026)

ChatTS: Aligning Time Series with LLMs via Synthetic Data for Enhanced Understanding and Reasoning
von: Xie, Zhe, et al.
Veröffentlicht: (2024)

Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions
von: Wei, Jingxuan, et al.
Veröffentlicht: (2025)

Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
von: Chen, Yuhao, et al.
Veröffentlicht: (2025)

NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
von: Wu, Weiming, et al.
Veröffentlicht: (2025)

Efficient Reasoning via Reward Model
von: Wang, Yuhao, et al.
Veröffentlicht: (2025)

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
von: Wang, Ruida, et al.
Veröffentlicht: (2025)

Reliability of Large Language Model Generated Clinical Reasoning in Assisted Reproductive Technology: Blinded Comparative Evaluation Study
von: Liu, Dou, et al.
Veröffentlicht: (2025)

Research on Personalized Medical Intervention Strategy Generation System based on Group Relative Policy Optimization and Time-Series Data Fusion
von: Lu, Dingxin, et al.
Veröffentlicht: (2025)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
von: Chen, Luoxin, et al.
Veröffentlicht: (2026)

Not Search, But Scan: Benchmarking MLLMs on Scan-Oriented Academic Paper Reasoning
von: Li, Rongjin, et al.
Veröffentlicht: (2026)

APO: Enhancing Reasoning Ability of MLLMs via Asymmetric Policy Optimization
von: Hong, Minjie, et al.
Veröffentlicht: (2025)

UltraLogic: Enhancing LLM Reasoning through Large-Scale Data Synthesis and Bipolar Float Reward
von: Liu, Yile, et al.
Veröffentlicht: (2026)

Geometric Feature Enhanced Knowledge Graph Embedding and Spatial Reasoning
von: Hu, Lei, et al.
Veröffentlicht: (2024)

Enhancing Hallucination Detection through Perturbation-Based Synthetic Data Generation in System Responses
von: Zhang, Dongxu, et al.
Veröffentlicht: (2024)

Turning Generators into Retrievers: Unlocking MLLMs for Natural Language-Guided Geo-Localization
von: Chen, Yuqi, et al.
Veröffentlicht: (2026)

Enhancing Health Fact-Checking with LLM-Generated Synthetic Data
von: Zhang, Jingze, et al.
Veröffentlicht: (2025)

LLM-Enhanced Rapid-Reflex Async-Reflect Embodied Agent for Real-Time Decision-Making in Dynamically Changing Environments
von: Zheng, Yangqing, et al.
Veröffentlicht: (2025)

Self-Polish: Enhance Reasoning in Large Language Models via Problem Refinement
von: Xi, Zhiheng, et al.
Veröffentlicht: (2023)

Leanabell-Prover: Posttraining Scaling in Formal Reasoning
von: Zhang, Jingyuan, et al.
Veröffentlicht: (2025)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
von: Jiang, Jin, et al.
Veröffentlicht: (2025)

Truly Assessing Fluid Intelligence of Large Language Models through Dynamic Reasoning Evaluation
von: Yang, Yue, et al.
Veröffentlicht: (2025)

MSEarth: A Multimodal Benchmark for Earth Science Phenomenon Discovery with MLLMs
von: Zhao, Xiangyu, et al.
Veröffentlicht: (2025)