Reasoning

Logic-Regularized Verifier Elicits Reasoning from LLMs ACL 2025 LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025 LogiDynamics: Unraveling the Dynamics of Inductive, Abductive and Deductive Logical Inferences in LLM Reasoning EMNLP 2025 Long Chain-of-Thought Fine-tuning via Understanding-to-Reasoning Transition EMNLP 2025 Lost in the Distance: Large Language Models Struggle to Capture Long-Distance Relational Knowledge NAACL 2025 LR²Bench: Evaluating Long-chain Reflective Reasoning Capabilities of Large Language Models via Constraint Satisfaction Problems ACL 2025 LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG ACL 2025 MAgICoRe: Multi-Agent, Iterative, Coarse-to-Fine Refinement for Reasoning EMNLP 2025 MA-GTS: A Multi-Agent Framework for Solving Complex Graph Problems in Real-World Applications EMNLP 2025 Make Every Penny Count: Difficulty-Adaptive Self-Consistency for Cost-Efficient Reasoning NAACL 2025 MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving ICML 2025 MAmmoTH-VL: Eliciting Multimodal Reasoning with Instruction Tuning at Scale ACL 2025 MANBench: Is Your Multimodal Model Smarter than Human? ACL 2025 MapEval: A Map-Based Evaluation of Geo-Spatial Reasoning in Foundation Models ICML 2025 Mapping from Meaning: Addressing the Miscalibration of Prompt-Sensitive Language Models AAAI 2025 Mapping the Minds of LLMs: A Graph-Based Analysis of Reasoning LLMs EMNLP 2025 MARGE: Improving Math Reasoning with Guided Exploration ICML 2025 MARS: Benchmarking the Metaphysical Reasoning Abilities of Language Models with a Multi-task Evaluation Dataset ACL 2025 MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025 Mastering Board Games by External and Internal Planning with Language Models ICML 2025 MathConstruct: Challenging LLM Reasoning with Constructive Proofs ICML 2025 MATH-Perturb: Benchmarking LLMs’ Math Reasoning Abilities against Hard Perturbations ICML 2025 MDBench: A Synthetic Multi-Document Reasoning Benchmark Generated with Knowledge Guidance ACL 2025 Meaning Beyond Truth Conditions: Evaluating Discourse Level Understanding via Anaphora Accessibility ACL 2025 MEDDxAgent: A Unified Modular Agent Framework for Explainable Automatic Differential Diagnosis ACL 2025