mathematical reasoning

The Lessons of Developing Process Reward Models in Mathematical Reasoning ACL 2025 Theorem Prover as a Judge for Synthetic Data Generation ACL 2025 The Role of Visual Modality in Multimodal Mathematical Reasoning: Challenges and Insights ACL 2025 Think Clearly: Improving Reasoning via Redundant Token Pruning EMNLP 2025 Thinking Before You Speak: A Proactive Test-time Scaling Approach EMNLP 2025 To Code or not to Code? Adaptive Tool Integration for Math Language Models via Expectation-Maximization ACL 2025 Token-Supervised Value Models for Enhancing Mathematical Problem-Solving Capabilities of Large Language Models ICLR 2025 Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025 Towards Robust Mathematical Reasoning EMNLP 2025 TPO: Aligning Large Language Models with Multi-branch & Multi-step Preference Trees ICLR 2025 TreeRL: LLM Reinforcement Learning with On-Policy Tree Search ACL 2025 Trojsten Benchmark: Evaluating LLM Problem-Solving in Slovak STEM Competition Problems EMNLP 2025 UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models ICLR 2025 U-MATH: A University-Level Benchmark for Evaluating Mathematical Skills in Large Language Models ACL 2025 UniMath-CoT: A Unified Framework for Multimodal Mathematical Reasoning with Re-Inference Affirmation EMNLP 2025 Unleashing LLM Reasoning Capability via Scalable Question Synthesis from Scratch ACL 2025 Unleashing the Reasoning Potential of LLMs by Critique Fine-Tuning on One Problem EMNLP 2025 Unraveling Misinformation Propagation in LLM Reasoning EMNLP 2025 UTMath: A Benchmark for Math Evaluation with Unit Test EMNLP 2025 VCR: A “Cone of Experience” Driven Synthetic Data Generation Framework for Mathematical Reasoning AAAI 2025 VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning EMNLP 2025 VisionMath: Vision-Form Mathematical Problem-Solving ICCV 2025 VoxEval: Benchmarking the Knowledge Understanding Capabilities of End-to-End Spoken Language Models ACL 2025 We-Math: Does Your Large Multimodal Model Achieve Human-like Mathematical Reasoning? ACL 2025 What Are Step-Level Reward Models Rewarding? Counterintuitive Findings from MCTS-Boosted Mathematical Reasoning AAAI 2025