Buchumschlag

Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhou, Kuo, Zhang, Lu
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

StepMathAgent: A Step-Wise Agent for Evaluating Mathematical Processes through Tree-of-Error
von: Yang, Shu-Xun, 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)

Propose, Solve, Verify: Self-Play Through Formal Verification
von: Wilf, Alex, et al.
Veröffentlicht: (2025)

Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
von: Sivakumar, Jasivan Alex, et al.
Veröffentlicht: (2025)

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

Tool-Augmented Hybrid Ensemble Reasoning with Distillation for Bilingual Mathematical Problem Solving
von: Lu, Peiqing, et al.
Veröffentlicht: (2025)

Formally Solving Answer-Construction Problems in Lean
von: Sun, Jialiang, et al.
Veröffentlicht: (2025)

Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification
von: Ji, Shihao, et al.
Veröffentlicht: (2026)

The Hidden Signal of Verifier Strictness: Controlling and Improving Step-Wise Verification via Selective Latent Steering
von: Zhou, Yefan, et al.
Veröffentlicht: (2026)

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

Agentic LLM Planning via Step-Wise PDDL Simulation: An Empirical Characterisation
von: Göbel, Kai, et al.
Veröffentlicht: (2026)

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

TRAD: Enhancing LLM Agents with Step-Wise Thought Retrieval and Aligned Decision
von: Zhou, Ruiwen, et al.
Veröffentlicht: (2024)

Solving Formal Math Problems by Decomposition and Iterative Reflection
von: Zhou, Yichi, et al.
Veröffentlicht: (2025)

RM-PoT: Reformulating Mathematical Problems and Solving via Program of Thoughts
von: Zhang, Yu, et al.
Veröffentlicht: (2025)

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

Plan before Solving: Problem-Aware Strategy Routing for Mathematical Reasoning with LLMs
von: Qi, Shihao, et al.
Veröffentlicht: (2025)

Exploring Communication Strategies for Collaborative LLM Agents in Mathematical Problem-Solving
von: Zhang, Liang, et al.
Veröffentlicht: (2025)

Solving Math Word Problems Using Estimation Verification and Equation Generation
von: Piehl, Mitchell, et al.
Veröffentlicht: (2025)

Formalizing Mathematics at Scale
von: Rammal, Ahmad, et al.
Veröffentlicht: (2026)

Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving
von: Didolkar, Aniket, et al.
Veröffentlicht: (2024)

Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving
von: Xu, Xin, et al.
Veröffentlicht: (2025)

Preference Elicitation for Step-Wise Explanations in Logic Puzzles
von: Foschini, Marco, et al.
Veröffentlicht: (2025)

DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving
von: Tong, Yuxuan, et al.
Veröffentlicht: (2024)

Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving
von: Gao, Songyang, et al.
Veröffentlicht: (2025)

Agent RL Scaling Law: Agent RL with Spontaneous Code Execution for Mathematical Problem Solving
von: Mai, Xinji, et al.
Veröffentlicht: (2025)

NCV: A Node-Wise Consistency Verification Approach for Low-Cost Structured Error Localization in LLM Reasoning
von: Zhang, Yulong, et al.
Veröffentlicht: (2025)

AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
von: Ping, Bowen, et al.
Veröffentlicht: (2025)

SMART: Self-Generating and Self-Validating Multi-Dimensional Assessment for LLMs' Mathematical Problem Solving
von: Hou, Yujie, et al.
Veröffentlicht: (2025)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
von: Boetius, David, et al.
Veröffentlicht: (2024)

STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification
von: Rajabi, Saeid, 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)

Tracing Mathematical Proficiency Through Problem-Solving Processes
von: Park, Jungyang, et al.
Veröffentlicht: (2025)

Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
von: Hao, Yilun, et al.
Veröffentlicht: (2024)

Cross-Problem Learning for Solving Vehicle Routing Problems
von: Lin, Zhuoyi, et al.
Veröffentlicht: (2024)

FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
von: Zhang, Xiaokai, et al.
Veröffentlicht: (2024)

Mathify: Evaluating Large Language Models on Mathematical Problem Solving Tasks
von: Anand, Avinash, et al.
Veröffentlicht: (2024)

Learning to Solve Compositional Geometry Routing Problems
von: Fan, Mingfeng, et al.
Veröffentlicht: (2026)

Textual and Visual Prompt Fusion for Image Editing via Step-Wise Alignment
von: Feng, Zhanbo, et al.
Veröffentlicht: (2023)

PLAN-TUNING: Post-Training Language Models to Learn Step-by-Step Planning for Complex Problem Solving
von: Parmar, Mihir, et al.
Veröffentlicht: (2025)