mathematical reasoning

FANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4 EMNLP 2025 FG-PRM: Fine-grained Hallucination Detection and Mitigation in Language Model Mathematical Reasoning EMNLP 2025 FineReason: Evaluating and Improving LLMs’ Deliberate Reasoning through Reflective Puzzle Solving ACL 2025 FIRMA: Bidirectional Formal-Informal Mathematical Language Alignment with Proof-Theoretic Grounding EMNLP 2025 First-Step Advantage: Importance of Starting Right in Multi-Step Math Reasoning ACL 2025 FLAMES: Improving LLM Math Reasoning via a Fine-Grained Analysis of the Data Synthesis Pipeline EMNLP 2025 From A and B to A+B: Can Large Language Models Solve Compositional Math Problems? EMNLP 2025 From Calculation to Adjudication: Examining LLM Judges on Mathematical Reasoning Tasks ACL 2025 Full-Step-DPO: Self-Supervised Preference Optimization with Step-wise Rewards for Mathematical Reasoning ACL 2025 GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs AAAI 2025 GRAD: Generative Retrieval-Aligned Demonstration Sampler for Efficient Few-Shot Reasoning EMNLP 2025 GRPO-LEAD: A Difficulty-Aware Reinforcement Learning Approach for Concise Mathematical Reasoning in Language Models EMNLP 2025 GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models ICLR 2025 HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics ICLR 2025 Hierarchical Attention Generates Better Proofs ACL 2025 HighMATH: Evaluating Math Reasoning of Large Language Models in Breadth and Depth EMNLP 2025 HS-STaR: Hierarchical Sampling for Self-Taught Reasoners via Difficulty Estimation and Budget Reallocation EMNLP 2025 Implicit Reasoning in Transformers is Reasoning through Shortcuts ACL 2025 Improving Reasoning Capabilities in Small Models through Mixture-of-layers Distillation with Stepwise Attention on Key Information EMNLP 2025 Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations EMNLP 2025 InfiMM-WebMath-40B: Advancing Multimodal Pre-Training for Enhanced Mathematical Reasoning EMNLP 2025 Investigating the interaction of linguistic and mathematical reasoning in language models using multilingual number puzzles EMNLP 2025 IrokoBench: A New Benchmark for African Languages in the Age of Large Language Models NAACL 2025 Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist ICLR 2025 Key-Point-Driven Data Synthesis with Its Enhancement on Mathematical Reasoning AAAI 2025