{"total":177,"rows":[{"id":"2212.10403","title":"Towards Reasoning in Large Language Models: A Survey","created":"2022-12-20","cited_by_count":596,"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":"2210.01240","title":"Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought","created":"2022-10-03","cited_by_count":337,"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":"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":"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":"2407.11511","title":"Multi-Step Reasoning with Large Language Models, a Survey","created":"2024-07-16","cited_by_count":143,"area":"lr"},{"id":"2401.06805","title":"Exploring the Reasoning Abilities of Multimodal Large Language Models (MLLMs): A Comprehensive Survey on Emerging Trends in Multimodal Reasoning","created":"2024-01-10","cited_by_count":136,"area":"lr"},{"id":"2502.21321","title":"LLM Post-Training: A Deep Dive into Reasoning Large Language Models","created":"2025-02-28","cited_by_count":135,"area":"lr"},{"id":"2504.09037","title":"A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic Systems","created":"2025-04-12","cited_by_count":111,"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":"2308.04371","title":"Cumulative Reasoning with Large Language Models","created":"2023-08-08","cited_by_count":94,"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":"2402.08939","title":"Premise Order Matters in Reasoning with Large Language Models","created":"2024-02-14","cited_by_count":72,"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":"2401.14295","title":"Demystifying Chains, Trees, and Graphs of Thoughts","created":"2024-01-25","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":"2505.19914","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","created":"2025-05-26","cited_by_count":56,"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":"2306.07934","title":"BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information","created":"2023-06-13","cited_by_count":44,"area":"lr"},{"id":"2406.17169","title":"Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models","created":"2024-06-24","cited_by_count":39,"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":"2506.13752","title":"Steering LLM Thinking with Budget Guidance","created":"2025-06-16","cited_by_count":33,"area":"lr"},{"id":"2303.12023","title":"Logical Reasoning over Natural Language as Knowledge Representation: A Survey","created":"2023-03-21","cited_by_count":32,"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":"2305.12147","title":"LogiCoT: Logical Chain-of-Thought Instruction-Tuning","created":"2023-05-20","cited_by_count":31,"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":"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.00074","title":"SocREval: Large Language Models with the Socratic Method for Reference-Free Reasoning Evaluation","created":"2023-09-29","cited_by_count":27,"area":"lr"},{"id":"2407.01687","title":"Deciphering the Factors Influencing the Efficacy of Chain-of-Thought: Probability, Memorization, and Noisy Reasoning","created":"2024-07-01","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":"2502.01630","title":"TReMu: Towards Neuro-Symbolic Temporal Reasoning for LLM-Agents with Memory in Multi-Session Dialogues","created":"2025-02-03","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":"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":"2410.11005","title":"Assessing Dialect Fairness and Robustness of Large Language Models in Reasoning Tasks","created":"2024-10-14","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":"2502.02362","title":"Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMs","created":"2025-02-04","cited_by_count":22,"area":"lr"},{"id":"2507.07313","title":"Frontier LLMs Still Struggle with Simple Reasoning Tasks","created":"2025-07-09","cited_by_count":21,"area":"lr"},{"id":"2311.00445","title":"A Systematic Comparison of Syllogistic Reasoning in Humans and Language Models","created":"2023-11-01","cited_by_count":20,"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":"2505.15817","title":"Learning to Reason via Mixture-of-Thought for Logical Reasoning","created":"2025-05-21","cited_by_count":20,"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":"2305.06349","title":"RECKONING: Reasoning through Dynamic Knowledge Encoding","created":"2023-05-10","cited_by_count":18,"area":"lr"},{"id":"2407.14790","title":"Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?","created":"2024-07-20","cited_by_count":18,"area":"lr"},{"id":"2502.20129","title":"Finite State Automata Inside Transformers with Chain-of-Thought: A Mechanistic Study on State Tracking","created":"2025-02-27","cited_by_count":18,"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":"2402.02611","title":"FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?","created":"2024-02-04","cited_by_count":16,"area":"lr"},{"id":"2503.23145","title":"CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis","created":"2025-03-29","cited_by_count":16,"area":"lr"},{"id":"2410.09207","title":"P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains","created":"2024-10-11","cited_by_count":15,"area":"lr"},{"id":"2411.04105","title":"A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning","created":"2024-11-06","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":"2502.20377","title":"PhantomWiki: On-Demand Datasets for Reasoning and Retrieval Evaluation","created":"2025-02-27","cited_by_count":14,"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":"2404.04293","title":"Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding","created":"2024-04-04","cited_by_count":12,"area":"lr"},{"id":"2412.09722","title":"GReaTer: Gradients over Reasoning Makes Smaller Language Models Strong Prompt Optimizers","created":"2024-12-12","cited_by_count":12,"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":"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":"2503.17726","title":"A Survey on Mathematical Reasoning and Optimization with Large Language Models","created":"2025-03-22","cited_by_count":12,"area":"lr"},{"id":"2402.18344","title":"Focus on Your Question! Interpreting and Mitigating Toxic CoT Problems in Commonsense Reasoning","created":"2024-02-28","cited_by_count":11,"area":"lr"},{"id":"2410.08126","title":"Mars: Situated Inductive Reasoning in an Open-World Environment","created":"2024-10-10","cited_by_count":11,"area":"lr"},{"id":"2504.19093","title":"CipherBank: Exploring the Boundary of LLM Reasoning Capabilities through Cryptography Challenges","created":"2025-04-27","cited_by_count":11,"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":"2401.17169","title":"Conditional and Modal Reasoning in Large Language Models","created":"2024-01-30","cited_by_count":9,"area":"lr"},{"id":"2406.12546","title":"Liar, Liar, Logical Mire: A Benchmark for Suppositional Reasoning in Large Language Models","created":"2024-06-18","cited_by_count":9,"area":"lr"},{"id":"2505.13346","title":"J4R: Learning to Judge with Equivalent Initial State Group Relative Policy Optimization","created":"2025-05-19","cited_by_count":9,"area":"lr"},{"id":"2506.13331","title":"Mixture of Cognitive Reasoners: Modular Reasoning with Brain-Like Specialization","created":"2025-06-16","cited_by_count":9,"area":"lr"},{"id":"2406.00284","title":"A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters","created":"2024-06-01","cited_by_count":8,"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":"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.14552","title":"KORGym: A Dynamic Game Platform for LLM Reasoning Evaluation","created":"2025-05-20","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":"2606.02907","title":"Linear Probes Detect Task Format, Not Reasoning Mode in Language Model Hidden States","created":"2026-06-01","cited_by_count":7,"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":"2502.17535","title":"The Lottery LLM Hypothesis, Rethinking What Abilities Should LLM Compression Preserve?","created":"2025-02-24","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":"2506.08672","title":"RuleReasoner: Reinforced Rule-based Reasoning via Domain-aware Dynamic Sampling","created":"2025-06-10","cited_by_count":6,"area":"lr"},{"id":"2506.15787","title":"SLR: Automated Synthesis for Scalable Logical Reasoning","created":"2025-06-18","cited_by_count":6,"area":"lr"},{"id":"2512.12008","title":"Hold Onto That Thought: Assessing KV Cache Compression On Reasoning","created":"2025-12-12","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":"2311.07076","title":"On the Discussion of Large Language Models: Symmetry of Agents and Interplay with Prompts","created":"2023-11-13","cited_by_count":5,"area":"lr"},{"id":"2502.07813","title":"CryptoX : Compositional Reasoning Evaluation of Large Language Models","created":"2025-02-08","cited_by_count":5,"area":"lr"},{"id":"2505.21935","title":"From Reasoning to Learning: A Survey on Hypothesis Discovery and Rule Learning with Large Language Models","created":"2025-05-28","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.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":"2404.04237","title":"GroundCocoa: A Benchmark for Evaluating Compositional & Conditional Reasoning in Language Models","created":"2024-04-05","cited_by_count":4,"area":"lr"},{"id":"2406.04046","title":"ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints","created":"2024-06-06","cited_by_count":4,"area":"lr"},{"id":"2410.09528","title":"Boosting Deductive Reasoning with Step Signals In RLHF","created":"2024-10-12","cited_by_count":4,"area":"lr"},{"id":"2506.06008","title":"Token Signature: Predicting Chain-of-Thought Gains with Token Decoding Feature in Large Language Models","created":"2025-06-06","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":"2510.25626","title":"Are Language Models Efficient Reasoners? A Perspective from Logic Programming","created":"2025-10-29","cited_by_count":4,"area":"lr"},{"id":"2606.11893","title":"Beyond representational alignment with brain-guided language models for robust reasoning","created":"2026-06-10","cited_by_count":4,"area":"lr"}],"next_cursor":"100"}