{"total":45,"rows":[{"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":"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":"2309.15402","title":"Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future","created":"2023-09-27","cited_by_count":184,"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":"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":"2403.13312","title":"LeanReasoner: Boosting Complex Logical Reasoning with Lean","created":"2024-03-20","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":"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":"2502.12616","title":"Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions","created":"2025-02-18","cited_by_count":17,"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":"2409.12929","title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","created":"2024-09-19","cited_by_count":14,"area":"lr"},{"id":"2504.03930","title":"Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition","created":"2025-04-04","cited_by_count":14,"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":"2410.10449","title":"QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios","created":"2024-10-14","cited_by_count":9,"area":"lr"},{"id":"2506.15211","title":"ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs","created":"2025-06-18","cited_by_count":9,"area":"lr"},{"id":"2310.15575","title":"POE: Process of Elimination for Multiple Choice Reasoning","created":"2023-10-24","cited_by_count":8,"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":"2412.07148","title":"MM-PoE: Multiple Choice Reasoning via. Process of Elimination using Multi-Modal Models","created":"2024-12-10","cited_by_count":5,"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":"2407.03956","title":"Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems","created":"2024-07-04","cited_by_count":4,"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":"2508.12425","title":"Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning","created":"2025-08-17","cited_by_count":4,"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":"2505.13252","title":"A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems","created":"2025-05-19","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":"2508.03500","title":"Error Detection and Correction for Interpretable Mathematics in Large Language Models","created":"2025-08-05","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.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":"2607.12711","title":"MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku","created":"2026-07-14","cited_by_count":1,"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":"2602.18095","title":"Neurosymbolic Language Reasoning as Satisfiability Modulo Theory","created":"2026-02-20","cited_by_count":0,"area":"lr"},{"id":"2605.00270","title":"Are You the A-hole? A Fair, Multi-Perspective Ethical Reasoning Framework","created":"2026-04-30","cited_by_count":0,"area":"lr"},{"id":"2605.24305","title":"ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale","created":"2026-05-23","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":"2605.29687","title":"Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability","created":"2026-05-28","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":"2609.32431","title":"DualGuard: Dual-Mode Quality Control for Logic-Preserving Data Augmentation","created":"2026-09-26","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":"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}