{"total":194,"rows":[{"id":"2504.11536","title":"ReTool: Reinforcement Learning for Strategic Tool Use in LLMs","created":"2025-04-15","cited_by_count":392,"area":"lr"},{"id":"2409.12183","title":"To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning","created":"2024-09-18","cited_by_count":263,"area":"lr"},{"id":"2308.03188","title":"Automatically Correcting Large Language Models: Surveying the landscape of diverse self-correction strategies","created":"2023-08-06","cited_by_count":238,"area":"lr"},{"id":"2309.15402","title":"Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future","created":"2023-09-27","cited_by_count":184,"area":"lr"},{"id":"2402.01817","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","created":"2024-02-02","cited_by_count":179,"area":"lr"},{"id":"2310.15164","title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers","created":"2023-10-23","cited_by_count":168,"area":"lr"},{"id":"2407.11511","title":"Multi-Step Reasoning with Large Language Models, a Survey","created":"2024-07-16","cited_by_count":143,"area":"lr"},{"id":"2503.21614","title":"A Survey of Efficient Reasoning for Large Reasoning Models: Language, Multimodality, and Beyond","created":"2025-03-27","cited_by_count":132,"area":"lr"},{"id":"2410.23123","title":"On Memorization of Large Language Models in Logical Reasoning","created":"2024-10-30","cited_by_count":117,"area":"lr"},{"id":"2401.06853","title":"Large Language Models Can Learn Temporal Reasoning","created":"2024-01-12","cited_by_count":111,"area":"lr"},{"id":"2312.12241","title":"GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning","created":"2023-12-19","cited_by_count":108,"area":"lr"},{"id":"2310.20689","title":"Learning From Mistakes Makes LLM Better Reasoner","created":"2023-10-31","cited_by_count":101,"area":"lr"},{"id":"2405.18357","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","created":"2024-05-28","cited_by_count":100,"area":"lr"},{"id":"2404.10642","title":"Self-playing Adversarial Language Game Enhances LLM Reasoning","created":"2024-04-16","cited_by_count":83,"area":"lr"},{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2402.11451","title":"SciAgent: Tool-augmented Language Models for Scientific Reasoning","created":"2024-02-18","cited_by_count":70,"area":"lr"},{"id":"2306.09841","title":"Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond","created":"2023-06-16","cited_by_count":65,"area":"lr"},{"id":"2411.01855","title":"Can Language Models Learn to Skip Steps?","created":"2024-11-04","cited_by_count":59,"area":"lr"},{"id":"2310.05707","title":"Guiding Language Model Reasoning with Planning Tokens","created":"2023-10-09","cited_by_count":58,"area":"lr"},{"id":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"area":"lr"},{"id":"2405.13144","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","created":"2024-05-21","cited_by_count":49,"area":"lr"},{"id":"2402.11291","title":"Puzzle Solving using Reasoning of Large Language Models: A Survey","created":"2024-02-17","cited_by_count":45,"area":"lr"},{"id":"2306.07934","title":"BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information","created":"2023-06-13","cited_by_count":44,"area":"lr"},{"id":"2311.07954","title":"A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning","created":"2023-11-14","cited_by_count":41,"area":"lr"},{"id":"2502.09061","title":"CRANE: Reasoning with constrained LLM generation","created":"2025-02-13","cited_by_count":38,"area":"lr"},{"id":"2310.00836","title":"Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models","created":"2023-10-02","cited_by_count":35,"area":"lr"},{"id":"2310.18659","title":"DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy","created":"2023-10-28","cited_by_count":34,"area":"lr"},{"id":"2402.16048","title":"How Likely Do LLMs with CoT Mimic Human Reasoning?","created":"2024-02-25","cited_by_count":34,"area":"lr"},{"id":"2509.24765","title":"Semantic-Aware Logical Reasoning via a Semiotic Framework","created":"2025-09-29","cited_by_count":32,"area":"lr"},{"id":"2408.00114","title":"Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs","created":"2024-07-31","cited_by_count":29,"area":"lr"},{"id":"2403.13312","title":"LeanReasoner: Boosting Complex Logical Reasoning with Lean","created":"2024-03-20","cited_by_count":28,"area":"lr"},{"id":"2502.06563","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","created":"2025-02-10","cited_by_count":28,"area":"lr"},{"id":"2310.14628","title":"Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts","created":"2023-10-23","cited_by_count":27,"area":"lr"},{"id":"2410.08047","title":"Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning","created":"2024-10-10","cited_by_count":27,"area":"lr"},{"id":"2412.08972","title":"RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios","created":"2024-12-12","cited_by_count":27,"area":"lr"},{"id":"2505.13026","title":"Step-wise Adaptive Integration of Supervised Fine-tuning and Reinforcement Learning for Task-Specific LLMs","created":"2025-05-19","cited_by_count":25,"area":"lr"},{"id":"2601.02902","title":"Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning","created":"2026-01-06","cited_by_count":25,"area":"lr"},{"id":"2311.06158","title":"Language Models can be Logical Solvers","created":"2023-11-10","cited_by_count":24,"area":"lr"},{"id":"2308.09853","title":"How susceptible are LLMs to Logical Fallacies?","created":"2023-08-18","cited_by_count":23,"area":"lr"},{"id":"2409.17539","title":"Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models","created":"2024-09-26","cited_by_count":23,"area":"lr"},{"id":"2402.03268","title":"Understanding Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation","created":"2024-02-05","cited_by_count":22,"area":"lr"},{"id":"2406.02787","title":"Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities","created":"2024-06-04","cited_by_count":22,"area":"lr"},{"id":"2404.02575","title":"Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models","created":"2024-04-03","cited_by_count":20,"area":"lr"},{"id":"2505.15817","title":"Learning to Reason via Mixture-of-Thought for Logical Reasoning","created":"2025-05-21","cited_by_count":20,"area":"lr"},{"id":"2504.12773","title":"Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration","created":"2025-04-17","cited_by_count":18,"area":"lr"},{"id":"2505.12189","title":"Mitigating Content Effects on Reasoning in Language Models through Fine-Grained Activation Steering","created":"2025-05-18","cited_by_count":18,"area":"lr"},{"id":"2405.17893","title":"Arithmetic Reasoning with LLM: Prolog Generation & Permutation","created":"2024-05-28","cited_by_count":17,"area":"lr"},{"id":"2408.13654","title":"Symbolic Working Memory Enhances Language Models for Complex Rule Application","created":"2024-08-24","cited_by_count":17,"area":"lr"},{"id":"2502.12616","title":"Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions","created":"2025-02-18","cited_by_count":17,"area":"lr"},{"id":"2506.04810","title":"Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study","created":"2025-06-05","cited_by_count":17,"area":"lr"},{"id":"2410.07432","title":"Can Transformers Reason Logically? A Study in SAT Solving","created":"2024-10-09","cited_by_count":16,"area":"lr"},{"id":"2410.10336","title":"CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning","created":"2024-10-14","cited_by_count":16,"area":"lr"},{"id":"2507.17249","title":"R4ec: A Reasoning, Reflection, and Refinement Framework for Recommendation Systems","created":"2025-07-23","cited_by_count":16,"area":"lr"},{"id":"2309.10814","title":"Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning","created":"2023-09-19","cited_by_count":15,"area":"lr"},{"id":"2504.06438","title":"Don't Let It Hallucinate: Premise Verification via Retrieval-Augmented Logical Reasoning","created":"2025-04-08","cited_by_count":15,"area":"lr"},{"id":"2505.16022","title":"NOVER: Incentive Training for Language Models via Verifier-Free Reinforcement Learning","created":"2025-05-21","cited_by_count":15,"area":"lr"},{"id":"2407.02514","title":"LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations","created":"2024-06-22","cited_by_count":14,"area":"lr"},{"id":"2409.12929","title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","created":"2024-09-19","cited_by_count":14,"area":"lr"},{"id":"2505.02686","title":"Sailing by the Stars: A Survey on Reward Models and Learning Strategies for Learning from Rewards","created":"2025-05-05","cited_by_count":14,"area":"lr"},{"id":"2403.06294","title":"ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes","created":"2024-03-10","cited_by_count":13,"area":"lr"},{"id":"2406.13764","title":"Can LLMs Reason in the Wild with Programs?","created":"2024-06-19","cited_by_count":13,"area":"lr"},{"id":"2505.15634","title":"Feature Extraction and Steering for Enhanced Chain-of-Thought Reasoning in Language Models","created":"2025-05-21","cited_by_count":13,"area":"lr"},{"id":"2501.14540","title":"VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning","created":"2025-01-24","cited_by_count":12,"area":"lr"},{"id":"2601.20055","title":"VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning","created":"2026-01-27","cited_by_count":12,"area":"lr"},{"id":"2310.01290","title":"Knowledge Crosswords: Geometric Knowledge Reasoning with Large Language Models","created":"2023-10-02","cited_by_count":11,"area":"lr"},{"id":"2410.03595","title":"Understanding Reasoning in Chain-of-Thought from the Hopfieldian View","created":"2024-10-04","cited_by_count":11,"area":"lr"},{"id":"2511.04662","title":"VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks","created":"2025-11-06","cited_by_count":11,"area":"lr"},{"id":"2511.18760","title":"HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs","created":"2025-11-24","cited_by_count":11,"area":"lr"},{"id":"2409.16461","title":"Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification","created":"2024-09-24","cited_by_count":10,"area":"lr"},{"id":"2410.12323","title":"Reversal of Thought: Enhancing Large Language Models with Preference-Guided Reverse Reasoning Warm-up","created":"2024-10-16","cited_by_count":10,"area":"lr"},{"id":"2505.20047","title":"Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks","created":"2025-05-26","cited_by_count":10,"area":"lr"},{"id":"2510.16916","title":"SolverLLM: Leveraging Test-Time Scaling for Optimization Problem via LLM-Guided Search","created":"2025-10-19","cited_by_count":10,"area":"lr"},{"id":"2506.15211","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","created":"2025-06-18","cited_by_count":9,"area":"lr"},{"id":"2507.10624","title":"Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning","created":"2025-07-14","cited_by_count":9,"area":"lr"},{"id":"2411.00773","title":"LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation","created":"2024-11-01","cited_by_count":8,"area":"lr"},{"id":"2506.17104","title":"Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving","created":"2025-06-20","cited_by_count":8,"area":"lr"},{"id":"2311.17438","title":"CLOMO: Counterfactual Logical Modification with Large Language Models","created":"2023-11-29","cited_by_count":7,"area":"lr"},{"id":"2407.10162","title":"ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning","created":"2024-07-14","cited_by_count":7,"area":"lr"},{"id":"2409.17174","title":"CSCE: Boosting LLM Reasoning by Simultaneous Enhancing of Causal Significance and Consistency","created":"2024-09-20","cited_by_count":7,"area":"lr"},{"id":"2410.11900","title":"FLARE: Faithful Logic-Aided Reasoning and Exploration","created":"2024-10-14","cited_by_count":7,"area":"lr"},{"id":"2412.05586","title":"Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning","created":"2024-12-07","cited_by_count":7,"area":"lr"},{"id":"2501.16961","title":"Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers","created":"2025-01-28","cited_by_count":7,"area":"lr"},{"id":"2505.11574","title":"Quantization Meets Reasoning: Exploring and Mitigating Degradation of Low-Bit LLMs in Mathematical Reasoning","created":"2025-05-16","cited_by_count":7,"area":"lr"},{"id":"2509.25851","title":"MuSLR: Multimodal Symbolic Logical Reasoning","created":"2025-09-30","cited_by_count":7,"area":"lr"},{"id":"2401.13849","title":"TPD: Enhancing Student Language Model Reasoning via Principle Discovery and Guidance","created":"2024-01-24","cited_by_count":6,"area":"lr"},{"id":"2401.14003","title":"ConstraintChecker: A Plugin for Large Language Models to Reason on Commonsense Knowledge Bases","created":"2024-01-25","cited_by_count":6,"area":"lr"},{"id":"2402.11903","title":"DiLA: Enhancing LLM Tool Learning with Differential Logic Layer","created":"2024-02-19","cited_by_count":6,"area":"lr"},{"id":"2406.05055","title":"VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning","created":"2024-06-07","cited_by_count":6,"area":"lr"},{"id":"2410.21779","title":"Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach","created":"2024-10-29","cited_by_count":6,"area":"lr"},{"id":"2411.18564","title":"Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMs","created":"2024-11-27","cited_by_count":6,"area":"lr"},{"id":"2506.10903","title":"Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning","created":"2025-06-12","cited_by_count":6,"area":"lr"},{"id":"2509.00544","title":"When Thinking Backfires: Mechanistic Insights Into Reasoning-Induced Misalignment","created":"2025-08-30","cited_by_count":6,"area":"lr"},{"id":"2512.18196","title":"LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision","created":"2025-12-20","cited_by_count":6,"area":"lr"},{"id":"2512.23511","title":"Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving","created":"2025-12-29","cited_by_count":6,"area":"lr"},{"id":"2408.16081","title":"Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents","created":"2024-08-28","cited_by_count":5,"area":"lr"},{"id":"2505.20869","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","created":"2025-05-27","cited_by_count":5,"area":"lr"},{"id":"2506.04575","title":"Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?","created":"2025-06-05","cited_by_count":5,"area":"lr"},{"id":"2509.24238","title":"Learning to Ponder: Adaptive Reasoning in Latent Space","created":"2025-09-29","cited_by_count":5,"area":"lr"},{"id":"2510.19429","title":"NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning","created":"2025-10-22","cited_by_count":5,"area":"lr"},{"id":"2603.21250","title":"Graph of States: Solving Abductive Tasks with Large Language Models","created":"2026-03-22","cited_by_count":5,"area":"lr"}],"next_cursor":"100"}