{"total":63,"rows":[{"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":"2503.12605","title":"Multimodal Chain-of-Thought Reasoning: A Comprehensive Survey","created":"2025-03-16","cited_by_count":182,"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":"2505.23575","title":"CoT Red-Handed: Stress Testing Chain-of-Thought Monitoring","created":"2025-05-29","cited_by_count":54,"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":"2508.01191","title":"Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens","created":"2025-08-02","cited_by_count":43,"area":"lr"},{"id":"2502.18001","title":"Unveiling the Key Factors for Distilling Chain-of-Thought Reasoning","created":"2025-02-25","cited_by_count":40,"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":"2412.12932","title":"CoMT: A Novel Benchmark for Chain of Multi-modal Thought on Large Vision-Language Models","created":"2024-12-17","cited_by_count":30,"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":"2601.02902","title":"Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning","created":"2026-01-06","cited_by_count":25,"area":"lr"},{"id":"2502.02061","title":"Reason4Rec: Deliberative User Preference Alignment of Large Language Models for Recommendation","created":"2025-02-04","cited_by_count":21,"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":"2507.22928","title":"How does Chain of Thought Think? Mechanistic Interpretability of Chain-of-Thought Reasoning with Sparse Autoencoding","created":"2025-07-24","cited_by_count":19,"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":"2502.12616","title":"Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions","created":"2025-02-18","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":"2507.08806","title":"Think Clearly: Improving Reasoning via Redundant Token Pruning","created":"2025-06-17","cited_by_count":17,"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":"2410.10336","title":"CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning","created":"2024-10-14","cited_by_count":16,"area":"lr"},{"id":"2504.06438","title":"Don't Let It Hallucinate: Premise Verification via Retrieval-Augmented Logical Reasoning","created":"2025-04-08","cited_by_count":15,"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":"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":"2409.19381","title":"HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning","created":"2024-09-28","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":"2410.04463","title":"Wrong-of-Thought: An Integrated Reasoning Framework with Multi-Perspective Verification and Wrong Information","created":"2024-10-06","cited_by_count":10,"area":"lr"},{"id":"2412.11124","title":"Combating Multimodal LLM Hallucination via Bottom-Up Holistic Reasoning","created":"2024-12-15","cited_by_count":10,"area":"lr"},{"id":"2510.24940","title":"SemCoT: Accelerating Chain-of-Thought Reasoning through Semantically-Aligned Implicit Tokens","created":"2025-10-28","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":"2503.19599","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language","created":"2025-03-25","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":"2506.08672","title":"RuleReasoner: Reinforced Rule-based Reasoning via Domain-aware Dynamic Sampling","created":"2025-06-10","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":"2506.03673","title":"Reason from Future: Reverse Thought Chain Enhances LLM Reasoning","created":"2025-06-04","cited_by_count":5,"area":"lr"},{"id":"2406.17873","title":"Improving Arithmetic Reasoning Ability of Large Language Models through Relation Tuples, Verification and Dynamic Feedback","created":"2024-06-25","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":"2508.00459","title":"Thinking Machines: Mathematical Reasoning in the Age of LLMs","created":"2025-08-01","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":"2502.12275","title":"Integrating Expert Knowledge into Logical Programs via LLMs","created":"2025-02-17","cited_by_count":3,"area":"lr"},{"id":"2606.16118","title":"Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning","created":"2026-06-15","cited_by_count":3,"area":"lr"},{"id":"2505.00001","title":"Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning","created":"2025-03-25","cited_by_count":2,"area":"lr"},{"id":"2506.10527","title":"LogiPlan: A Structured Benchmark for Logical Planning and Relational Reasoning in LLMs","created":"2025-06-12","cited_by_count":2,"area":"lr"},{"id":"2510.11031","title":"LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models","created":"2025-10-13","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":"2512.17079","title":"Can Large Reasoning Models Improve Accuracy on Mathematical Tasks Using Flawed Thinking?","created":"2025-12-18","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":"2504.14089","title":"LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models","created":"2025-04-18","cited_by_count":1,"area":"lr"},{"id":"2601.03597","title":"From Chains to Graphs: Self-Structured Reasoning for General-Domain LLMs","created":"2026-01-07","cited_by_count":1,"area":"lr"},{"id":"2602.14404","title":"Boule or Baguette? A Study on Task Topology, Length Generalization, and the Benefit of Reasoning Traces","created":"2026-02-16","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":"2607.21933","title":"Semiotic logical hexagon theory for LLM logical reasoning","created":"2026-07-24","cited_by_count":1,"area":"lr"},{"id":"2608.22126","title":"Decoupled Physical Modeling and Execution for Physics Reasoning","created":"2026-08-22","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":"2506.06982","title":"Chain of Methodologies: Scaling Test Time Computation without Training","created":"2025-06-08","cited_by_count":0,"area":"lr"},{"id":"2509.25941","title":"Boosting Process-Correct CoT Reasoning by Modeling Solvability of Multiple-Choice QA","created":"2025-09-30","cited_by_count":0,"area":"lr"},{"id":"2603.02676","title":"ITLC at SemEval-2026 Task 11: Normalization and Deterministic Parsing for Formal Reasoning in LLMs","created":"2026-03-03","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":"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.08786","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","created":"2026-08-09","cited_by_count":0,"area":"lr"},{"id":"2608.12374","title":"Are you Talking Logic to Me? Assessing Language Models Syllogistic Reasoning Capabilities","created":"2026-07-22","cited_by_count":0,"area":"lr"},{"id":"2610.05472","title":"Hallucination Across the Reasoning Lifecycle: Interface Visibility, Causal Evidence, and Release Control in Large Reasoning Models","created":"2026-10-04","cited_by_count":0,"area":"lr"}],"next_cursor":null}