:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhang, Ming-Liang, Li, Zhong-Zhi, Yin, Fei, Lin, Liang, Liu, Cheng-Lin
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2407.07327
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LANS: A Layout-Aware Neural Solver for Plane Geometry Problem
by: Li, Zhong-Zhi, et al.
Published: (2023)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
by: Huang, Litian, et al.
Published: (2024)

MACReD: A Multi-Agent Collaborative Reasoning Framework for Reaction Diagram Parsing
by: Tang, Chuang, et al.
Published: (2026)

MV-MATH: Evaluating Multimodal Math Reasoning in Multi-Visual Contexts
by: Wang, Peijie, et al.
Published: (2025)

GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving
by: Zhang, Jiaxin, et al.
Published: (2024)

Multimodal Fused Learning for Solving the Generalized Traveling Salesman Problem in Robotic Task Planning
by: Cheng, Jiaqi, et al.
Published: (2025)

Do Multi-Agents Solve Better Than Single? Evaluating Agentic Frameworks for Diagram-Grounded Geometry Problem Solving and Reasoning
by: Sobhani, Mahbub E, et al.
Published: (2025)

Calibrated Reasoning: An Explanatory Verifier for Dynamic and Efficient Problem-Solving
by: Garg, Anisha, et al.
Published: (2025)

Learning to Solve Compositional Geometry Routing Problems
by: Fan, Mingfeng, et al.
Published: (2026)

GeoUni: A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions
by: Cheng, Jo-Ku, et al.
Published: (2025)

AttNS: Attention-Inspired Numerical Solving For Limited Data Scenarios
by: Huang, Zhongzhan, et al.
Published: (2023)

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier
by: Zhong, Jianyuan, et al.
Published: (2025)

Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process
by: Xiao, Tong, et al.
Published: (2024)

Integrating Visual Interpretation and Linguistic Reasoning for Math Problem Solving
by: Guo, Zixian, et al.
Published: (2025)

When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoning
by: Singhi, Nishad, et al.
Published: (2025)

Plan before Solving: Problem-Aware Strategy Routing for Mathematical Reasoning with LLMs
by: Qi, Shihao, et al.
Published: (2025)

Promoting Efficient Reasoning with Verifiable Stepwise Reward
by: Yue, Chuhuai, et al.
Published: (2025)

Improving Multimodal LLMs Ability In Geometry Problem Solving, Reasoning, And Multistep Scoring
by: Anand, Avinash, et al.
Published: (2024)

Solving Rubik's Cube Without Tricky Sampling
by: Lin, Yicheng, et al.
Published: (2024)

Geoparsing: Diagram Parsing for Plane and Solid Geometry with a Unified Formal Language
by: Wang, Peijie, et al.
Published: (2026)

CMMaTH: A Chinese Multi-modal Math Skill Evaluation Benchmark for Foundation Models
by: Li, Zhong-Zhi, et al.
Published: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
by: Liang, Zhenwen, et al.
Published: (2025)

From System 1 to System 2: A Survey of Reasoning Large Language Models
by: Li, Zhong-Zhi, et al.
Published: (2025)

AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
by: Ping, Bowen, et al.
Published: (2025)

Program of Equations Thoughts to Solve Algebra Word Problems
by: Lin, Yunze
Published: (2025)

Propose, Solve, Verify: Self-Play Through Formal Verification
by: Wilf, Alex, et al.
Published: (2025)

From Solving to Verifying: A Unified Objective for Robust Reasoning in LLMs
by: Wang, Xiaoxuan, et al.
Published: (2025)

BPP-Search: Enhancing Tree of Thought Reasoning for Mathematical Modeling Problem Solving
by: Wang, Teng, et al.
Published: (2024)

Is Mathematical Problem-Solving Expertise in Large Language Models Associated with Assessment Performance?
by: Zhang, Liang, et al.
Published: (2026)

CARE What Fails: Contrastive Anchored-REflection for Verifiable Multimodal Reasoning
by: Wang, Yongxin, et al.
Published: (2025)

Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving
by: Xu, Xin, et al.
Published: (2025)

Solving General Natural-Language-Description Optimization Problems with Large Language Models
by: Zhang, Jihai, et al.
Published: (2024)

EvaLearn: Quantifying the Learning Capability and Efficiency of LLMs via Sequential Problem Solving
by: Dou, Shihan, et al.
Published: (2025)

Cross-Problem Learning for Solving Vehicle Routing Problems
by: Lin, Zhuoyi, et al.
Published: (2024)

Unlocking Complex Visual Generation via Closed-Loop Verified Reasoning
by: Cheng, Hanbo, et al.
Published: (2026)

Incorporating Graph Attention Mechanism into Geometric Problem Solving Based on Deep Reinforcement Learning
by: Zhong, Xiuqin, et al.
Published: (2024)

StructVRM: Aligning Multimodal Reasoning with Structured and Verifiable Reward Models
by: Zhang, Xiangxiang, et al.
Published: (2025)

Agent RL Scaling Law: Agent RL with Spontaneous Code Execution for Mathematical Problem Solving
by: Mai, Xinji, et al.
Published: (2025)

State Machine of Thoughts: Leveraging Past Reasoning Trajectories for Enhancing Problem Solving
by: Liu, Jia, et al.
Published: (2023)

Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving
by: Gao, Songyang, et al.
Published: (2025)