{"total":80,"rows":[{"id":"2405.18357","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","created":"2024-05-28","cited_by_count":100,"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":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"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":"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":"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":"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":"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.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":"2402.00745","title":"Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement","created":"2024-02-01","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":"2407.11373","title":"Reliable Reasoning Beyond Natural Language","created":"2024-07-16","cited_by_count":14,"area":"lr"},{"id":"2502.13137","title":"Theorem Prover as a Judge for Synthetic Data Generation","created":"2025-02-18","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":"2506.01341","title":"TurnBench-MS: A Benchmark for Evaluating Multi-Turn, Multi-Step Reasoning in Large Language Models","created":"2025-06-02","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":"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":"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":"2501.00830","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","created":"2025-01-01","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":"2505.15960","title":"Efficient PRM Training Data Synthesis via Formal Verification","created":"2025-05-21","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":"2505.14479","title":"Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry","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":"2402.10543","title":"Strong hallucinations from negation and how to fix them","created":"2024-02-16","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":"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":"2512.18196","title":"LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision","created":"2025-12-20","cited_by_count":6,"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":"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"},{"id":"2501.08613","title":"Assessing the Sensitivity and Alignment of FOL Closeness Metrics","created":"2025-01-15","cited_by_count":4,"area":"lr"},{"id":"2506.05746","title":"LLM-Symbolic Integration for Robust Temporal Tabular Reasoning","created":"2025-06-06","cited_by_count":4,"area":"lr"},{"id":"2507.09751","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","created":"2025-07-13","cited_by_count":4,"area":"lr"},{"id":"2508.12425","title":"Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning","created":"2025-08-17","cited_by_count":4,"area":"lr"},{"id":"2510.20909","title":"Code-enabled language models can outperform reasoning models on diverse tasks","created":"2025-10-23","cited_by_count":4,"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":"2409.11147","title":"Reasoning Graph Enhanced Exemplars Retrieval for In-Context Learning","created":"2024-09-17","cited_by_count":3,"area":"lr"},{"id":"2502.01657","title":"Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations","created":"2025-01-31","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":"2402.08064","title":"Beyond LLMs: Advancing the Landscape of Complex Reasoning","created":"2024-02-12","cited_by_count":2,"area":"lr"},{"id":"2404.15515","title":"ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models","created":"2024-04-23","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":"2512.03360","title":"From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation","created":"2025-12-03","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":"2601.18987","title":"LLMs versus the Halting Problem: Characterizing Program Termination Reasoning","created":"2026-01-26","cited_by_count":2,"area":"lr"},{"id":"2505.14313","title":"Teaching Small Language Models to Learn Logic through Meta-Learning","created":"2025-05-20","cited_by_count":1,"area":"lr"},{"id":"2506.18383","title":"LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization","created":"2025-06-23","cited_by_count":1,"area":"lr"},{"id":"2507.20491","title":"Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems","created":"2025-07-28","cited_by_count":1,"area":"lr"},{"id":"2509.17377","title":"Robustness of Neurosymbolic Reasoners on First-Order Logic Problems","created":"2025-09-22","cited_by_count":1,"area":"lr"},{"id":"2603.17233","title":"Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning","created":"2026-03-18","cited_by_count":1,"area":"lr"},{"id":"2605.04330","title":"The Scaling Properties of Implicit Deductive Reasoning in Transformers","created":"2026-05-05","cited_by_count":1,"area":"lr"},{"id":"2609.21492","title":"LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers","created":"2026-09-18","cited_by_count":1,"area":"lr"},{"id":"2502.19907","title":"Order Doesn't Matter, But Reasoning Does: Training LLMs with Order-Centric Augmentation","created":"2025-02-27","cited_by_count":0,"area":"lr"},{"id":"2509.04083","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","created":"2025-09-04","cited_by_count":0,"area":"lr"},{"id":"2509.20208","title":"Play by the Type Rules: Inferring Constraints for LLM Functions in Declarative Programs","created":"2025-09-24","cited_by_count":0,"area":"lr"},{"id":"2512.00329","title":"Evidence-Guided Schema Normalization for Temporal Tabular Reasoning","created":"2025-11-29","cited_by_count":0,"area":"lr"},{"id":"2512.03272","title":"When Do Symbolic Solvers Enhance Reasoning in Large Language Models?","created":"2025-12-02","cited_by_count":0,"area":"lr"},{"id":"2601.07464","title":"IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning","created":"2026-01-12","cited_by_count":0,"area":"lr"},{"id":"2601.20784","title":"REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence","created":"2026-01-28","cited_by_count":0,"area":"lr"},{"id":"2602.03640","title":"Tutorial on Reasoning for IR & IR for Reasoning","created":"2026-02-03","cited_by_count":0,"area":"lr"},{"id":"2602.18095","title":"Neurosymbolic Language Reasoning as Satisfiability Modulo Theory","created":"2026-02-20","cited_by_count":0,"area":"lr"},{"id":"2603.18495","title":"Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning","created":"2026-03-19","cited_by_count":0,"area":"lr"},{"id":"2604.19716","title":"Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views","created":"2026-04-21","cited_by_count":0,"area":"lr"},{"id":"2605.27824","title":"Revealing Algorithmic Deductive Circuits for Logical Reasoning","created":"2026-05-27","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.15589","title":"Is Code Better Than Language for Algorithmic Reasoning","created":"2026-06-14","cited_by_count":0,"area":"lr"},{"id":"2606.19588","title":"Analyzing the Narration Gap in LLM-Solver Loops","created":"2026-06-17","cited_by_count":0,"area":"lr"},{"id":"2607.20402","title":"SoftReason: A Fully Differentiable Neuro-Soft-Symbolic Deductive Reasoning Architecture over High-Dimensional Perceptual Data","created":"2026-07-22","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":"2607.23055","title":"SymStep: Symbolic Step Verification for Logical Reasoning","created":"2026-07-25","cited_by_count":0,"area":"lr"},{"id":"2608.26836","title":"SymbolLKG: Towards Verifiable Logical Reasoning via Logical Knowledge Graph and Symbolic Solvers","created":"2026-08-27","cited_by_count":0,"area":"lr"},{"id":"2609.33612","title":"Quizzing the Translation: A Prover-Grounded Evaluation Metric for NL$\\rightarrow$FOL","created":"2026-09-27","cited_by_count":0,"area":"lr"},{"id":"2609.34660","title":"Rewarding Novel Deductions: Solver-guided Process Supervision for Logical Reasoning","created":"2026-09-28","cited_by_count":0,"area":"lr"},{"id":"2609.37203","title":"Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning","created":"2026-09-29","cited_by_count":0,"area":"lr"},{"id":"2610.01383","title":"PRISM: A Category-Theoretic Framework for Measuring and Refining Multimodal Analogies","created":"2026-10-01","cited_by_count":0,"area":"lr"},{"id":"2610.04777","title":"ARISE: Adaptive Agentic Reasoning with Image-grounded Self-Evaluation for Interpretable IBD Assessment","created":"2026-10-03","cited_by_count":0,"area":"lr"}],"next_cursor":null}