{"total":84,"rows":[{"id":"2302.04023","title":"A Multitask, Multilingual, Multimodal Evaluation of ChatGPT on Reasoning, Hallucination, and Interactivity","created":"2023-02-08","cited_by_count":894,"area":"lr"},{"id":"2301.13379","title":"Faithful Chain-of-Thought Reasoning","created":"2023-01-31","cited_by_count":288,"area":"lr"},{"id":"2212.09597","title":"Reasoning with Language Model Prompting: A Survey","created":"2022-12-19","cited_by_count":252,"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":"2206.02336","title":"Making Large Language Models Better Reasoners with Step-Aware Verifier","created":"2022-06-06","cited_by_count":233,"area":"lr"},{"id":"2305.09656","title":"SatLM: Satisfiability-Aided Language Models Using Declarative Prompting","created":"2023-05-16","cited_by_count":102,"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":"2305.15269","title":"Testing the General Deductive Reasoning Capacity of Large Language Models Using OOD Examples","created":"2023-05-24","cited_by_count":84,"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":"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":"2304.04812","title":"Scallop: A Language for Neurosymbolic Programming","created":"2023-04-10","cited_by_count":63,"area":"lr"},{"id":"2303.14725","title":"Natural Language Reasoning, A Survey","created":"2023-03-26","cited_by_count":61,"area":"lr"},{"id":"2307.07696","title":"Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text","created":"2023-07-15","cited_by_count":59,"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":"2410.23856","title":"Can Language Models Perform Robust Reasoning in Chain-of-thought Prompting with Noisy Rationales?","created":"2024-10-31","cited_by_count":41,"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":"2212.10923","title":"Language Models as Inductive Reasoners","created":"2022-12-21","cited_by_count":32,"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":"2408.00114","title":"Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs","created":"2024-07-31","cited_by_count":29,"area":"lr"},{"id":"2402.11442","title":"Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs","created":"2024-02-18","cited_by_count":28,"area":"lr"},{"id":"2312.02143","title":"Competition-Level Problems are Effective LLM Evaluators","created":"2023-12-04","cited_by_count":25,"area":"lr"},{"id":"2506.18582","title":"Parallel Continuous Chain-of-Thought with Jacobi Iteration","created":"2025-06-23","cited_by_count":25,"area":"lr"},{"id":"2506.08295","title":"From Passive to Active Reasoning: Can Large Language Models Ask the Right Questions under Incomplete Information?","created":"2025-06-09","cited_by_count":23,"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":"2501.14851","title":"JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models","created":"2025-01-24","cited_by_count":22,"area":"lr"},{"id":"2308.09267","title":"GraphReason: Enhancing Reasoning Capabilities of Large Language Models through A Graph-Based Verification Approach","created":"2023-08-18","cited_by_count":21,"area":"lr"},{"id":"2505.15801","title":"VerifyBench: Benchmarking Reference-based Reward Systems for Large Language Models","created":"2025-05-21","cited_by_count":20,"area":"lr"},{"id":"2310.12342","title":"Eliminating Reasoning via Inferring with Planning: A New Framework to Guide LLMs' Non-linear Thinking","created":"2023-10-18","cited_by_count":19,"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":"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":"2408.13654","title":"Symbolic Working Memory Enhances Language Models for Complex Rule Application","created":"2024-08-24","cited_by_count":17,"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":"2402.13415","title":"Structure Guided Prompt: Instructing Large Language Model in Multi-Step Reasoning by Exploring Graph Structure of the Text","created":"2024-02-20","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":"2502.20377","title":"PhantomWiki: On-Demand Datasets for Reasoning and Retrieval Evaluation","created":"2025-02-27","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":"2409.12437","title":"Enhancing Logical Reasoning in Large Language Models through Graph-based Synthetic Data","created":"2024-09-19","cited_by_count":8,"area":"lr"},{"id":"2410.11900","title":"FLARE: Faithful Logic-Aided Reasoning and Exploration","created":"2024-10-14","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":"2503.01544","title":"Compositional Reasoning with Transformers, RNNs, and Chain of Thought","created":"2025-03-03","cited_by_count":6,"area":"lr"},{"id":"2504.02810","title":"Generative Evaluation of Complex Reasoning in Large Language Models","created":"2025-04-03","cited_by_count":6,"area":"lr"},{"id":"2505.17225","title":"Reasoning Model is Stubborn: Diagnosing Instruction Overriding in Reasoning Models","created":"2025-05-22","cited_by_count":6,"area":"lr"},{"id":"2506.08672","title":"RuleReasoner: Reinforced Rule-based Reasoning via Domain-aware Dynamic Sampling","created":"2025-06-10","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":"2410.03348","title":"Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning","created":"2024-10-04","cited_by_count":5,"area":"lr"},{"id":"2502.15335","title":"Stepwise Informativeness Search for Efficient and Effective LLM Reasoning","created":"2025-02-21","cited_by_count":4,"area":"lr"},{"id":"2508.03366","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","created":"2025-08-05","cited_by_count":4,"area":"lr"},{"id":"2509.16590","title":"Question Answering with LLMs and Learning from Answer Sets","created":"2025-09-20","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":"2509.18458","title":"CogniLoad: A Synthetic Natural Language Reasoning Benchmark With Tunable Length, Intrinsic Difficulty, and Distractor Density","created":"2025-09-22","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":"2301.02983","title":"Mind Reasoning Manners: Enhancing Type Perception for Generalized Zero-shot Logical Reasoning over Text","created":"2023-01-08","cited_by_count":2,"area":"lr"},{"id":"2302.05963","title":"Analyzing the Effectiveness of the Underlying Reasoning Tasks in Multi-hop Question Answering","created":"2023-02-12","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":"2504.12312","title":"Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oracles","created":"2025-04-09","cited_by_count":2,"area":"lr"},{"id":"2505.23126","title":"PBEBench: A Multi-Step Programming by Examples Reasoning Benchmark inspired by Historical Linguistics","created":"2025-05-29","cited_by_count":2,"area":"lr"},{"id":"2508.10777","title":"The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference","created":"2025-08-14","cited_by_count":2,"area":"lr"},{"id":"2601.18595","title":"A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic","created":"2026-01-26","cited_by_count":2,"area":"lr"},{"id":"2602.10625","title":"To Think or Not To Think, That is The Question for Large Reasoning Models in Theory of Mind Tasks","created":"2026-02-11","cited_by_count":2,"area":"lr"},{"id":"2305.00061","title":"Explainable Verbal Reasoner Plus (EVR+): A Natural Language Reasoning Framework that Supports Diverse Compositional Reasoning","created":"2023-04-28","cited_by_count":1,"area":"lr"},{"id":"2511.02627","title":"DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning","created":"2025-11-04","cited_by_count":1,"area":"lr"},{"id":"2602.12665","title":"Evaluating Robustness of Reasoning Models on Parameterized Logical Problems","created":"2026-02-13","cited_by_count":1,"area":"lr"},{"id":"2603.18614","title":"ZEBRAARENA: A Diagnostic Simulation Environment for Studying Reasoning-Action Coupling in Tool-Augmented LLMs","created":"2026-03-19","cited_by_count":1,"area":"lr"},{"id":"2603.21676","title":"Thinking Deeper, Not Longer: Memory-Efficient Test-Time Reasoning with Depth-Recurrent Transformers for Compositional Generalization","created":"2026-03-23","cited_by_count":1,"area":"lr"},{"id":"2606.24124","title":"VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification","created":"2026-06-23","cited_by_count":1,"area":"lr"},{"id":"2506.07501","title":"Graph-of-Causal Evolution: Challenging Chain-of-Model for Reasoning","created":"2025-06-09","cited_by_count":0,"area":"lr"},{"id":"2508.03170","title":"Quantum Spectral Reasoning: A Non-Neural Architecture for Interpretable Machine Learning","created":"2025-08-05","cited_by_count":0,"area":"lr"},{"id":"2508.14923","title":"A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone","created":"2025-08-19","cited_by_count":0,"area":"lr"},{"id":"2509.07017","title":"From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning","created":"2025-09-07","cited_by_count":0,"area":"lr"},{"id":"2604.12426","title":"Do Transformers Use their Depth Adaptively? Evidence from a Relational Reasoning Task","created":"2026-04-14","cited_by_count":0,"area":"lr"},{"id":"2604.18612","title":"Agent-GWO: Collaborative Agents for Dynamic Prompt Optimization in Large Language Models","created":"2026-04-14","cited_by_count":0,"area":"lr"},{"id":"2606.13020","title":"SciR: A Controllable Benchmark for Scientific Reasoning in LLMs","created":"2026-06-11","cited_by_count":0,"area":"lr"},{"id":"2606.24965","title":"Project Auto-World: Towards Automated Benchmarking of Neural Relational Reasoners","created":"2026-06-23","cited_by_count":0,"area":"lr"},{"id":"2606.29278","title":"The Complexity Ceiling Benchmark: A Multi-Domain Evaluation of Sequential Reasoning Under Depth Scaling","created":"2026-06-28","cited_by_count":0,"area":"lr"},{"id":"2607.23019","title":"Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming","created":"2026-07-25","cited_by_count":0,"area":"lr"},{"id":"2608.05152","title":"Mean-Field Dynamics of Chain-of-Thought Reasoning in Large Language Models","created":"2026-05-20","cited_by_count":0,"area":"lr"},{"id":"2608.29431","title":"Evaluating the Semantic Specificity of Representation Steering in Language Models","created":"2026-08-29","cited_by_count":0,"area":"lr"},{"id":"2609.32492","title":"Beyond Prompt or Skill? Attribution-Guided Optimization of Modular LLM Programs","created":"2026-09-26","cited_by_count":0,"area":"lr"},{"id":"2610.07730","title":"SanSi: A Looped Typed Decision Model for System 1.5 Thinking","created":"2026-10-06","cited_by_count":0,"area":"lr"},{"id":"2610.14402","title":"SAT-RL: Training Language Models for Logical Reasoning with Symbolic Solvers","created":"2026-10-09","cited_by_count":0,"area":"lr"}],"next_cursor":null}