Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Yuhao, Hu, Dingxin, Yu, Tinghao, Liu, Hao, Liu, Yiting
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Socratic-Geo: Synthetic Data Generation and Geometric Reasoning via Multi-Agent Interaction
por: Jiao, Zhengbo, et al.
Publicado: (2026)

Scaling Spatial Reasoning in MLLMs through Programmatic Data Synthesis
por: Helu, Zhi, et al.
Publicado: (2025)

FairReason: Balancing Reasoning and Social Bias in MLLMs
por: Pan, Zhenyu, et al.
Publicado: (2025)

Toward Scalable Terminal Task Synthesis via Skill Graphs
por: Fan, Zhiyuan, et al.
Publicado: (2026)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
por: Yu, Zhouliang, et al.
Publicado: (2025)

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
por: Zhang, Xiaokai, et al.
Publicado: (2023)

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

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

MME-Reasoning: A Comprehensive Benchmark for Logical Reasoning in MLLMs
por: Yuan, Jiakang, et al.
Publicado: (2025)

TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
por: Fu, Daocheng, et al.
Publicado: (2025)

Learning from Reasoning Failures via Synthetic Data Generation
por: Stan, Gabriela Ben Melech, et al.
Publicado: (2025)

ReactBench: A Benchmark for Topological Reasoning in MLLMs on Chemical Reaction Diagrams
por: Xu, Qiang, et al.
Publicado: (2026)

AgenticMath: Enhancing LLM Reasoning via Agentic-based Math Data Generation
por: Liu, Xianyang, et al.
Publicado: (2025)

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

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

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

ReasonGRM: Enhancing Generative Reward Models through Large Reasoning Models
por: Chen, Bin, et al.
Publicado: (2025)

Beyond Scalars: Evaluating and Understanding LLM Reasoning via Geometric Progress and Stability
por: Jiang, Xinyan, et al.
Publicado: (2026)

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

Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions
por: Wei, Jingxuan, et al.
Publicado: (2025)

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

NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
por: Wu, Weiming, et al.
Publicado: (2025)

Efficient Reasoning via Reward Model
por: Wang, Yuhao, et al.
Publicado: (2025)

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

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

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

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

Not Search, But Scan: Benchmarking MLLMs on Scan-Oriented Academic Paper Reasoning
por: Li, Rongjin, et al.
Publicado: (2026)

APO: Enhancing Reasoning Ability of MLLMs via Asymmetric Policy Optimization
por: Hong, Minjie, et al.
Publicado: (2025)

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

Geometric Feature Enhanced Knowledge Graph Embedding and Spatial Reasoning
por: Hu, Lei, et al.
Publicado: (2024)

Enhancing Hallucination Detection through Perturbation-Based Synthetic Data Generation in System Responses
por: Zhang, Dongxu, et al.
Publicado: (2024)

Turning Generators into Retrievers: Unlocking MLLMs for Natural Language-Guided Geo-Localization
por: Chen, Yuqi, et al.
Publicado: (2026)

Enhancing Health Fact-Checking with LLM-Generated Synthetic Data
por: Zhang, Jingze, et al.
Publicado: (2025)

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

Self-Polish: Enhance Reasoning in Large Language Models via Problem Refinement
por: Xi, Zhiheng, et al.
Publicado: (2023)

Leanabell-Prover: Posttraining Scaling in Formal Reasoning
por: Zhang, Jingyuan, et al.
Publicado: (2025)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
por: Jiang, Jin, et al.
Publicado: (2025)

Truly Assessing Fluid Intelligence of Large Language Models through Dynamic Reasoning Evaluation
por: Yang, Yue, et al.
Publicado: (2025)

MSEarth: A Multimodal Benchmark for Earth Science Phenomenon Discovery with MLLMs
por: Zhao, Xiangyu, et al.
Publicado: (2025)