Image de couverture de livre

AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ping, Bowen, Luo, Minnan, Dang, Zhuohang, Wang, Chenxi, Jia, Chengyou
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

$\mathrm{D}^\mathrm{3}$-Predictor: Noise-Free Deterministic Diffusion for Dense Prediction
par: Xia, Changliang, et autres
Publié: (2025)

ChatGen: Automatic Text-to-Image Generation From FreeStyle Chatting
par: Jia, Chengyou, et autres
Publié: (2024)

SSMG: Spatial-Semantic Map Guided Diffusion Model for Free-form Layout-to-Image Generation
par: Jia, Chengyou, et autres
Publié: (2023)

AgentStore: Scalable Integration of Heterogeneous Agents As Specialized Generalist Computer Assistant
par: Jia, Chengyou, et autres
Publié: (2024)

Why Settle for One? Text-to-ImageSet Generation and Evaluation
par: Jia, Chengyou, et autres
Publié: (2025)

Disentangled Noisy Correspondence Learning
par: Dang, Zhuohang, et autres
Publié: (2024)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
par: Hota, Amela, et autres
Publié: (2024)

PaCo-RL: Advancing Reinforcement Learning for Consistent Image Generation with Pairwise Reward Modeling
par: Ping, Bowen, et autres
Publié: (2025)

OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM
par: Zhang, Bowen, et autres
Publié: (2025)

Improving Multimodal LLMs Ability In Geometry Problem Solving, Reasoning, And Multistep Scoring
par: Anand, Avinash, et autres
Publié: (2024)

Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process
par: Xiao, Tong, et autres
Publié: (2024)

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
par: Zhang, Xiaokai, et autres
Publié: (2023)

PSDiff: Diffusion Model for Person Search with Iterative and Collaborative Refinement
par: Jia, Chengyou, et autres
Publié: (2023)

Enhancing Multimodal In-Context Learning via Inductive-Deductive Reasoning
par: Wang, Haoyu, et autres
Publié: (2026)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
par: Zou, Jia, et autres
Publié: (2024)

Revealing Algorithmic Deductive Circuits for Logical Reasoning
par: Nguyen, Phuong Minh, et autres
Publié: (2026)

From Ideal to Real: Unified and Data-Efficient Dense Prediction for Real-World Scenarios
par: Xia, Changliang, et autres
Publié: (2025)

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine
par: Jiang, Zhuoxuan, et autres
Publié: (2025)

Multi-Modal Dataset Distillation in the Wild
par: Dang, Zhuohang, et autres
Publié: (2025)

Formally Solving Answer-Construction Problems in Lean
par: Sun, Jialiang, et autres
Publié: (2025)

Fuse, Reason and Verify: Geometry Problem Solving with Parsed Clauses from Diagram
par: Zhang, Ming-Liang, et autres
Publié: (2024)

Disentangled Representation Learning with Transmitted Information Bottleneck
par: Dang, Zhuohang, et autres
Publié: (2023)

AutoOpt: A Dataset and a Unified Framework for Automating Optimization Problem Solving
par: Sinha, Ankur, et autres
Publié: (2025)

EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
par: Tian, Yuchen, et autres
Publié: (2025)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
par: Huang, Litian, et autres
Publié: (2024)

Proceedings 14th International Conference on Automated Deduction in Geometry
par: Quaresma, Pedro, et autres
Publié: (2024)

Flow-Factory: A Unified Framework for Reinforcement Learning in Flow-Matching Models
par: Ping, Bowen, et autres
Publié: (2026)

Omni-AutoThink: Adaptive Multimodal Reasoning via Reinforcement Learning
par: Yang, Dongchao, et autres
Publié: (2025)

Learning to Solve Compositional Geometry Routing Problems
par: Fan, Mingfeng, et autres
Publié: (2026)

Revac: A Social Deduction Reasoning Agent
par: Arya, Mihir Shriniwas, et autres
Publié: (2026)

State Machine of Thoughts: Leveraging Past Reasoning Trajectories for Enhancing Problem Solving
par: Liu, Jia, et autres
Publié: (2023)

Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs
par: Cheng, Kewei, et autres
Publié: (2024)

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
par: Wang, Hanyu, et autres
Publié: (2025)

Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving
par: Zhou, Kuo, et autres
Publié: (2025)

Solving Formal Math Problems by Decomposition and Iterative Reflection
par: Zhou, Yichi, et autres
Publié: (2025)

LeanGeo: Formalizing Competitional Geometry problems in Lean
par: Song, Chendong, et autres
Publié: (2025)

Do Multi-Agents Solve Better Than Single? Evaluating Agentic Frameworks for Diagram-Grounded Geometry Problem Solving and Reasoning
par: Sobhani, Mahbub E, et autres
Publié: (2025)

Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions
par: Wei, Jingxuan, et autres
Publié: (2025)

MASLegalBench: Benchmarking Multi-Agent Systems in Deductive Legal Reasoning
par: Jing, Huihao, et autres
Publié: (2025)

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning
par: Ji, Xingguang, et autres
Publié: (2025)