{"total":136,"rows":[{"id":"2201.11903","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","created":"2022-01-28","cited_by_count":12459,"area":"lr"},{"id":"2305.12295","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","created":"2023-05-20","cited_by_count":391,"area":"lr"},{"id":"2205.09712","title":"Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning","created":"2022-05-19","cited_by_count":334,"area":"lr"},{"id":"2212.09597","title":"Reasoning with Language Model Prompting: A Survey","created":"2022-12-19","cited_by_count":252,"area":"lr"},{"id":"2307.02477","title":"Reasoning or Reciting? Exploring the Capabilities and Limitations of Language Models Through Counterfactual Tasks","created":"2023-07-05","cited_by_count":246,"area":"lr"},{"id":"2209.00840","title":"FOLIO: Natural Language Reasoning with First-Order Logic","created":"2022-09-02","cited_by_count":235,"area":"lr"},{"id":"2406.10149","title":"BABILong: Testing the Limits of LLMs with Long Context Reasoning-in-a-Haystack","created":"2024-06-14","cited_by_count":215,"area":"lr"},{"id":"2304.01904","title":"REFINER: Reasoning Feedback on Intermediate Representations","created":"2023-04-04","cited_by_count":205,"area":"lr"},{"id":"2502.01100","title":"ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning","created":"2025-02-03","cited_by_count":201,"area":"lr"},{"id":"2207.07051","title":"Language models show human-like content effects on reasoning tasks","created":"2022-07-14","cited_by_count":173,"area":"lr"},{"id":"2402.14848","title":"Same Task, More Tokens: the Impact of Input Length on the Reasoning Performance of Large Language Models","created":"2024-02-19","cited_by_count":152,"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":"2312.12241","title":"GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning","created":"2023-12-19","cited_by_count":108,"area":"lr"},{"id":"2309.17167","title":"DyVal: Dynamic Evaluation of Large Language Models for Reasoning Tasks","created":"2023-09-29","cited_by_count":101,"area":"lr"},{"id":"2205.11502","title":"On the Paradox of Learning to Reason from Data","created":"2022-05-23","cited_by_count":93,"area":"lr"},{"id":"2404.15522","title":"LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models","created":"2024-04-23","cited_by_count":68,"area":"lr"},{"id":"2212.13894","title":"LAMBADA: Backward Chaining for Automated Reasoning in Natural Language","created":"2022-12-20","cited_by_count":66,"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":"2303.14725","title":"Natural Language Reasoning, A Survey","created":"2023-03-26","cited_by_count":61,"area":"lr"},{"id":"2305.19555","title":"Large Language Models Are Not Strong Abstract Reasoners","created":"2023-05-31","cited_by_count":53,"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":"2504.09710","title":"DUMP: Automated Distribution-Level Curriculum Learning for RL-based LLM Post-training","created":"2025-04-13","cited_by_count":46,"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":"2502.03671","title":"Advancing Reasoning in Large Language Models: Promising Methods and Approaches","created":"2025-02-05","cited_by_count":43,"area":"lr"},{"id":"2204.13074","title":"Towards Teachable Reasoning Systems: Using a Dynamic Memory of User Feedback for Continual System Improvement","created":"2022-04-27","cited_by_count":37,"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":"2210.16952","title":"Transfer Learning with Synthetic Corpora for Spatial Role Labeling and Reasoning","created":"2022-10-30","cited_by_count":34,"area":"lr"},{"id":"2212.10923","title":"Language Models as Inductive Reasoners","created":"2022-12-21","cited_by_count":32,"area":"lr"},{"id":"2502.16906","title":"AutoLogi: Automated Generation of Logic Puzzles for Evaluating Reasoning Abilities of Large Language Models","created":"2025-02-24","cited_by_count":31,"area":"lr"},{"id":"2205.10816","title":"Chain of Thought Imitation with Procedure Cloning","created":"2022-05-22","cited_by_count":30,"area":"lr"},{"id":"2203.10261","title":"FaiRR: Faithful and Robust Deductive Reasoning over Natural Language","created":"2022-03-19","cited_by_count":29,"area":"lr"},{"id":"2411.12498","title":"Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus","created":"2024-11-19","cited_by_count":29,"area":"lr"},{"id":"2203.08480","title":"E-KAR: A Benchmark for Rationalizing Natural Language Analogical Reasoning","created":"2022-03-16","cited_by_count":28,"area":"lr"},{"id":"2311.06158","title":"Language Models can be Logical Solvers","created":"2023-11-10","cited_by_count":24,"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":"2203.00357","title":"MERIt: Meta-Path Guided Contrastive Learning for Logical Reasoning","created":"2022-03-01","cited_by_count":22,"area":"lr"},{"id":"2205.12598","title":"RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoning","created":"2022-05-25","cited_by_count":22,"area":"lr"},{"id":"2408.15778","title":"LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models","created":"2024-08-28","cited_by_count":19,"area":"lr"},{"id":"2205.11432","title":"Logical Reasoning with Span-Level Predictions for Interpretable and Robust NLI Models","created":"2022-05-23","cited_by_count":18,"area":"lr"},{"id":"2304.00776","title":"Chain-of-Thought Predictive Control","created":"2023-04-03","cited_by_count":18,"area":"lr"},{"id":"2305.03742","title":"Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming","created":"2023-05-05","cited_by_count":18,"area":"lr"},{"id":"2305.06349","title":"RECKONING: Reasoning through Dynamic Knowledge Encoding","created":"2023-05-10","cited_by_count":18,"area":"lr"},{"id":"2308.07336","title":"Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic","created":"2023-08-11","cited_by_count":18,"area":"lr"},{"id":"2203.12186","title":"AbductionRules: Training Transformers to Explain Unexpected Inputs","created":"2022-03-23","cited_by_count":17,"area":"lr"},{"id":"2205.02593","title":"METGEN: A Module-Based Entailment Tree Generation Framework for Answer Explanation","created":"2022-05-05","cited_by_count":17,"area":"lr"},{"id":"2209.07662","title":"NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning","created":"2022-09-16","cited_by_count":16,"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":"2207.14000","title":"Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation","created":"2022-07-28","cited_by_count":15,"area":"lr"},{"id":"2305.12563","title":"A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers","created":"2023-05-21","cited_by_count":15,"area":"lr"},{"id":"2405.15302","title":"Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanism","created":"2024-05-24","cited_by_count":15,"area":"lr"},{"id":"2407.11373","title":"Reliable Reasoning Beyond Natural Language","created":"2024-07-16","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":"2302.06729","title":"STREET: A Multi-Task Structured Reasoning and Explanation Benchmark","created":"2023-02-13","cited_by_count":13,"area":"lr"},{"id":"2310.09107","title":"GLoRE: Evaluating Logical Reasoning of Large Language Models","created":"2023-10-13","cited_by_count":13,"area":"lr"},{"id":"2303.15714","title":"Explicit Planning Helps Language Models in Logical Reasoning","created":"2023-03-28","cited_by_count":12,"area":"lr"},{"id":"2304.01665","title":"Mastering Symbolic Operations: Augmenting Language Models with Compiled Neural Networks","created":"2023-04-04","cited_by_count":12,"area":"lr"},{"id":"2312.05180","title":"PathFinder: Guided Search over Multi-Step Reasoning Paths","created":"2023-12-08","cited_by_count":12,"area":"lr"},{"id":"2502.11176","title":"LogiDynamics: Unraveling the Dynamics of Inductive, Abductive and Deductive Logical Inferences in LLM Reasoning","created":"2025-02-16","cited_by_count":12,"area":"lr"},{"id":"2302.07866","title":"Do Deep Neural Networks Capture Compositionality in Arithmetic Reasoning?","created":"2023-02-15","cited_by_count":11,"area":"lr"},{"id":"2305.12599","title":"Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning","created":"2023-05-21","cited_by_count":11,"area":"lr"},{"id":"2310.09430","title":"Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical Reasoning","created":"2023-10-13","cited_by_count":10,"area":"lr"},{"id":"2204.13778","title":"Inferring Implicit Relations in Complex Questions with Language Models","created":"2022-04-28","cited_by_count":9,"area":"lr"},{"id":"2205.10714","title":"Interpretable Proof Generation via Iterative Backward Reasoning","created":"2022-05-22","cited_by_count":9,"area":"lr"},{"id":"2211.05417","title":"Can Transformers Reason in Fragments of Natural Language?","created":"2022-11-10","cited_by_count":8,"area":"lr"},{"id":"2301.11879","title":"Case-Based Reasoning with Language Models for Classification of Logical Fallacies","created":"2023-01-27","cited_by_count":8,"area":"lr"},{"id":"2505.15960","title":"Efficient PRM Training Data Synthesis via Formal Verification","created":"2025-05-21","cited_by_count":8,"area":"lr"},{"id":"2505.21354","title":"Leveraging Large Language Models for Bengali Math Word Problem Solving with Chain of Thought Reasoning","created":"2025-05-27","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":"2305.13179","title":"Teaching Probabilistic Logical Reasoning to Transformers","created":"2023-05-22","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.11854","title":"Evaluating the Logical Reasoning Abilities of Large Reasoning Models","created":"2025-05-17","cited_by_count":7,"area":"lr"},{"id":"2310.14868","title":"Assessing Step-by-Step Reasoning against Lexical Negation: A Case Study on Syllogism","created":"2023-10-23","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":"2506.23908","title":"Beyond Statistical Learning: Exact Learning Is Essential for General Intelligence","created":"2025-06-30","cited_by_count":6,"area":"lr"},{"id":"2202.04161","title":"Logical Reasoning for Task Oriented Dialogue Systems","created":"2022-02-08","cited_by_count":5,"area":"lr"},{"id":"2210.06442","title":"Can Pretrained Language Models (Yet) Reason Deductively?","created":"2022-10-12","cited_by_count":5,"area":"lr"},{"id":"2212.09282","title":"APOLLO: A Simple Approach for Adaptive Pretraining of Language Models for Logical Reasoning","created":"2022-12-19","cited_by_count":5,"area":"lr"},{"id":"2305.12001","title":"OPT-R: Exploring the Role of Explanations in Finetuning and Prompting for Reasoning Skills of Large Language Models","created":"2023-05-19","cited_by_count":5,"area":"lr"},{"id":"2509.06024","title":"Rethinking Reasoning Quality in Large Language Models through Enhanced Chain-of-Thought via RL","created":"2025-09-07","cited_by_count":5,"area":"lr"},{"id":"2603.02119","title":"Pencil Puzzle Bench: A Benchmark for Multi-Step Verifiable Reasoning","created":"2026-03-02","cited_by_count":5,"area":"lr"},{"id":"2604.08016","title":"Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs","created":"2026-04-09","cited_by_count":5,"area":"lr"},{"id":"2310.15258","title":"Breaking the Language Barrier: Improving Cross-Lingual Reasoning with Structured Self-Attention","created":"2023-10-23","cited_by_count":4,"area":"lr"},{"id":"2505.15712","title":"TurnaboutLLM: A Deductive Reasoning Benchmark from Detective Games","created":"2025-05-21","cited_by_count":4,"area":"lr"},{"id":"2510.23629","title":"Chain of Execution Supervision Promotes General Reasoning in Large Language Models","created":"2025-10-24","cited_by_count":4,"area":"lr"},{"id":"2510.25626","title":"Are Language Models Efficient Reasoners? A Perspective from Logic Programming","created":"2025-10-29","cited_by_count":4,"area":"lr"},{"id":"2201.01787","title":"Does Entity Abstraction Help Generative Transformers Reason?","created":"2022-01-05","cited_by_count":3,"area":"lr"},{"id":"2210.12487","title":"MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure","created":"2022-10-22","cited_by_count":3,"area":"lr"},{"id":"2310.03309","title":"Concise and Organized Perception Facilitates Reasoning in Large Language Models","created":"2023-10-05","cited_by_count":3,"area":"lr"},{"id":"2404.18130","title":"Logic Agent: Enhancing Validity with Logic Rule Invocation","created":"2024-04-28","cited_by_count":3,"area":"lr"},{"id":"2404.18384","title":"Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions","created":"2024-04-29","cited_by_count":3,"area":"lr"},{"id":"2502.12275","title":"Integrating Expert Knowledge into Logical Programs via LLMs","created":"2025-02-17","cited_by_count":3,"area":"lr"},{"id":"2510.10592","title":"A Layered Intuition -- Method Model with Scope Extension for LLM Reasoning","created":"2025-10-12","cited_by_count":3,"area":"lr"},{"id":"2511.12485","title":"ARCHE: A Novel Task to Evaluate LLMs on Latent Reasoning Chain Extraction","created":"2025-11-16","cited_by_count":3,"area":"lr"},{"id":"2601.12444","title":"Large Language Model for OWL Proofs","created":"2026-01-18","cited_by_count":3,"area":"lr"},{"id":"2602.02462","title":"Abstract Activation Spaces for Content-Invariant Reasoning in Large Language Models","created":"2026-02-02","cited_by_count":3,"area":"lr"},{"id":"2207.01450","title":"Discourse-Aware Graph Networks for Textual Logical Reasoning","created":"2022-07-04","cited_by_count":2,"area":"lr"},{"id":"2312.11720","title":"Assessing Logical Reasoning Capabilities of Encoder-Only Transformer Models","created":"2023-12-18","cited_by_count":2,"area":"lr"},{"id":"2410.08437","title":"Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks","created":"2024-10-11","cited_by_count":2,"area":"lr"},{"id":"2505.14684","title":"Mind the Gap: Bridging Thought Leap for Improved Chain-of-Thought Tuning","created":"2025-05-20","cited_by_count":2,"area":"lr"},{"id":"2510.11031","title":"LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models","created":"2025-10-13","cited_by_count":2,"area":"lr"}],"next_cursor":"100"}