{"total":203,"rows":[{"id":"2211.14275","title":"Solving math word problems with process- and outcome-based feedback","created":"2022-11-25","cited_by_count":901,"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":"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":"2212.07919","title":"ROSCOE: A Suite of Metrics for Scoring Step-by-Step Reasoning","created":"2022-12-15","cited_by_count":177,"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":"2212.02746","title":"UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression","created":"2022-12-06","cited_by_count":137,"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":"2208.14271","title":"Faithful Reasoning Using Large Language Models","created":"2022-08-30","cited_by_count":130,"area":"lr"},{"id":"2502.19187","title":"BIG-Bench Extra Hard","created":"2025-02-26","cited_by_count":125,"area":"lr"},{"id":"2306.03872","title":"Deductive Verification of Chain-of-Thought Reasoning","created":"2023-06-06","cited_by_count":124,"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":"2305.09656","title":"SatLM: Satisfiability-Aided Language Models Using Declarative Prompting","created":"2023-05-16","cited_by_count":102,"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":"2308.04592","title":"Shepherd: A Critic for Language Model Generation","created":"2023-08-08","cited_by_count":97,"area":"lr"},{"id":"2308.04371","title":"Cumulative Reasoning with Large Language Models","created":"2023-08-08","cited_by_count":94,"area":"lr"},{"id":"2406.09170","title":"Test of Time: A Benchmark for Evaluating LLMs on Temporal Reasoning","created":"2024-06-13","cited_by_count":88,"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":"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":"2305.14825","title":"Large Language Models are In-Context Semantic Reasoners rather than Symbolic Reasoners","created":"2023-05-24","cited_by_count":63,"area":"lr"},{"id":"2401.14295","title":"Demystifying Chains, Trees, and Graphs of Thoughts","created":"2024-01-25","cited_by_count":63,"area":"lr"},{"id":"2502.12289","title":"Evaluating Step-by-step Reasoning Traces: A Survey","created":"2025-02-17","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":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"area":"lr"},{"id":"2310.14491","title":"Towards a Mechanistic Interpretation of Multi-Step Reasoning Capabilities of Language Models","created":"2023-10-23","cited_by_count":50,"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":"2202.04800","title":"The Abduction of Sherlock Holmes: A Dataset for Visual Abductive Reasoning","created":"2022-02-10","cited_by_count":38,"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":"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":"2212.09146","title":"Can Retriever-Augmented Language Models Reason? The Blame Game Between the Retriever and the Language Model","created":"2022-12-18","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":"2406.09175","title":"ReMI: A Dataset for Reasoning with Multiple Images","created":"2024-06-13","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":"2405.18711","title":"Calibrating Reasoning in Language Models with Internal Consistency","created":"2024-05-29","cited_by_count":28,"area":"lr"},{"id":"2505.18761","title":"How Is LLM Reasoning Distracted by Irrelevant Context? An Analysis Using a Controlled Benchmark","created":"2025-05-24","cited_by_count":28,"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":"2205.09224","title":"Entailment Tree Explanations via Iterative Retrieval-Generation Reasoner","created":"2022-05-18","cited_by_count":26,"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":"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":"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":"2410.05563","title":"Rational Metareasoning for Large Language Models","created":"2024-10-07","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":"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":"2212.08286","title":"ALERT: Adapting Language Models to Reasoning Tasks","created":"2022-12-16","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":"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":"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":"2406.16655","title":"Large Language Models Are Cross-Lingual Knowledge-Free Reasoners","created":"2024-06-24","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":"2510.17238","title":"StreamingThinker: Large Language Models Can Think While Reading","created":"2025-10-20","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":"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":"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":"2310.09107","title":"GLoRE: Evaluating Logical Reasoning of Large Language Models","created":"2023-10-13","cited_by_count":13,"area":"lr"},{"id":"2406.16176","title":"GraphEval36K: Benchmarking Coding and Reasoning Capabilities of Large Language Models on Graph Datasets","created":"2024-06-23","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":"2305.14618","title":"Abductive Commonsense Reasoning Exploiting Mutually Exclusive Explanations","created":"2023-05-24","cited_by_count":11,"area":"lr"},{"id":"2505.20948","title":"Controllable Logical Hypothesis Generation for Abductive Reasoning in Knowledge Graphs","created":"2025-05-27","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":"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":"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":"2507.02170","title":"Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System","created":"2025-07-02","cited_by_count":10,"area":"lr"},{"id":"2205.10714","title":"Interpretable Proof Generation via Iterative Backward Reasoning","created":"2022-05-22","cited_by_count":9,"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":"2409.05559","title":"IFAR: Multi-Perspective and Multi-Level Causal Discovery with LLMs","created":"2024-09-09","cited_by_count":9,"area":"lr"},{"id":"2508.08344","title":"What Breaks Knowledge Graph based RAG? Benchmarking and Empirical Insights into Reasoning under Incomplete Knowledge","created":"2025-08-11","cited_by_count":9,"area":"lr"},{"id":"2306.04031","title":"Certified Deductive Reasoning with Language Models","created":"2023-06-06","cited_by_count":8,"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":"2505.15960","title":"Efficient PRM Training Data Synthesis via Formal Verification","created":"2025-05-21","cited_by_count":8,"area":"lr"},{"id":"2509.01544","title":"Causal Consistency Regularization: Training Verifiably Sensitive Reasoning in Large Language Models","created":"2025-09-01","cited_by_count":8,"area":"lr"},{"id":"2510.11462","title":"Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model","created":"2025-10-13","cited_by_count":8,"area":"lr"},{"id":"2210.17095","title":"RLET: A Reinforcement Learning Based Approach for Explainable QA with Entailment Trees","created":"2022-10-31","cited_by_count":7,"area":"lr"},{"id":"2212.08607","title":"MURMUR: Modular Multi-Step Reasoning for Semi-Structured Data-to-Text Generation","created":"2022-12-16","cited_by_count":7,"area":"lr"},{"id":"2305.13179","title":"Teaching Probabilistic Logical Reasoning to Transformers","created":"2023-05-22","cited_by_count":7,"area":"lr"},{"id":"2311.17438","title":"CLOMO: Counterfactual Logical Modification with Large Language Models","created":"2023-11-29","cited_by_count":7,"area":"lr"}],"next_cursor":"100"}