{"total":100,"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":"2505.19433","title":"Can Compressed LLMs Truly Act? An Empirical Evaluation of Agentic Capabilities in LLM Compression","created":"2025-05-26","cited_by_count":16,"area":"agents"},{"id":"2503.00870","title":"NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains","created":"2025-03-02","cited_by_count":15,"area":null},{"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":"2505.20871","title":"Divide-Then-Align: Honest Alignment based on the Knowledge Boundary of RAG","created":"2025-05-27","cited_by_count":14,"area":"rag"},{"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":"2505.21397","title":"DecisionFlow: Advancing Large Language Model as Principled Decision Maker","created":"2025-05-27","cited_by_count":12,"area":null},{"id":"2508.02721","title":"Blueprint First, Model Second: A Framework for Deterministic LLM Workflow","created":"2025-08-01","cited_by_count":12,"area":null},{"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":"2510.21302","title":"Towards Reliable Code-as-Policies: A Neuro-Symbolic Framework for Embodied Task Planning","created":"2025-10-24","cited_by_count":11,"area":null},{"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":"2511.09008","title":"A Neurosymbolic Approach to Natural Language Formalization and Verification","created":"2025-11-12","cited_by_count":9,"area":null},{"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":"2505.15741","title":"Large Language Models and Evolutionary Computation: A Critical Review of Bidirectional Interaction, Automated Algorithm Design, and Co-Adaptive Systems","created":"2025-05-21","cited_by_count":6,"area":null},{"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":"2505.00147","title":"AdaptMI: Adaptive Skill-based In-context Math Instruction for Small Language Models","created":"2025-04-30","cited_by_count":5,"area":null},{"id":"2506.03673","title":"Reason from Future: Reverse Thought Chain Enhances LLM Reasoning","created":"2025-06-04","cited_by_count":5,"area":"lr"},{"id":"2602.01493","title":"OpInf-LLM: Parametric PDE Solving with LLMs via Operator Inference","created":"2026-02-02","cited_by_count":5,"area":null},{"id":"2602.13237","title":"NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models","created":"2026-01-29","cited_by_count":5,"area":null},{"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":"2512.24684","title":"R-Debater: Retrieval-Augmented Debate Generation through Argumentative Memory","created":"2025-12-31","cited_by_count":4,"area":"rag"},{"id":"2502.12275","title":"Integrating Expert Knowledge into Logical Programs via LLMs","created":"2025-02-17","cited_by_count":3,"area":"lr"},{"id":"2507.18858","title":"Weak-to-Strong Generalization with Failure Trajectories: A Tree-based Approach to Elicit Optimal Policy in Strong Models","created":"2025-07-25","cited_by_count":3,"area":null},{"id":"2509.21874","title":"Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models","created":"2025-09-26","cited_by_count":3,"area":"mllm"},{"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":"2411.09297","title":"DTELS: Towards Dynamic Granularity of Timeline Summarization","created":"2024-11-14","cited_by_count":2,"area":null},{"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":"2505.10844","title":"Creativity or Brute Force? Using Brainteasers as a Window into the Problem-Solving Abilities of Large Language Models","created":"2025-05-16","cited_by_count":2,"area":null},{"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":"2507.08425","title":"A Survey of Large Language Models in Discipline-specific Research: Challenges, Methods and Opportunities","created":"2025-07-11","cited_by_count":2,"area":null},{"id":"2509.07122","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","created":"2025-09-08","cited_by_count":2,"area":null},{"id":"2509.10249","title":"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering","created":"2025-09-12","cited_by_count":2,"area":null},{"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":"2604.10341","title":"VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline","created":"2026-04-11","cited_by_count":2,"area":null},{"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":"2507.20643","title":"Ontology-Enhanced Knowledge Graph Completion using Large Language Models","created":"2025-07-28","cited_by_count":1,"area":null},{"id":"2509.08950","title":"Deploying AI for Signal Processing education: Selected challenges and intriguing opportunities","created":"2025-09-10","cited_by_count":1,"area":null},{"id":"2510.23509","title":"Logic-Guided Socially-aware Robot Navigation World Model","created":"2025-10-27","cited_by_count":1,"area":"wm"},{"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":"2601.14456","title":"On the Generalization Gap in LLM Planning: Tests and Verifier-Reward RL","created":"2026-01-20","cited_by_count":1,"area":null},{"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.14586","title":"The Scenic Route to Deception: Dark Patterns and Explainability Pitfalls in Conversational Navigation","created":"2026-03-15","cited_by_count":1,"area":null},{"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.09271","title":"Shaping Schema via Language Representation as the Next Frontier for LLM Intelligence Expanding","created":"2026-05-10","cited_by_count":1,"area":null},{"id":"2606.09157","title":"SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance","created":"2026-06-08","cited_by_count":1,"area":null},{"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":"2409.12979","title":"Can we only use guideline instead of shot in prompt?","created":"2024-09-03","cited_by_count":0,"area":null},{"id":"2501.14649","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","created":"2025-01-24","cited_by_count":0,"area":null},{"id":"2502.08904","title":"MIH-TCCT: Mitigating Inconsistent Hallucinations in LLMs via Event-Driven Text-Code Cyclic Training","created":"2025-02-13","cited_by_count":0,"area":null},{"id":"2502.11703","title":"CMQCIC-Bench: A Chinese Benchmark for Evaluating Large Language Models in Medical Quality Control Indicator Calculation","created":"2025-02-17","cited_by_count":0,"area":null},{"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.09960","title":"Limited Reference, Reliable Generation: A Two-Component Framework for Tabular Data Generation in Low-Data Regimes","created":"2025-09-12","cited_by_count":0,"area":null},{"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":"2601.08742","title":"Inferring Latent Intentions: Attributional Natural Language Inference in LLM Agents","created":"2026-01-13","cited_by_count":0,"area":"agents"},{"id":"2601.19605","title":"Decompose-and-Formalise: Recursively Verifiable Natural Language Inference","created":"2026-01-27","cited_by_count":0,"area":null},{"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.14053","title":"Derivation Prompting: A Logic-Based Method for Improving Retrieval-Augmented Generation","created":"2026-05-13","cited_by_count":0,"area":"rag"},{"id":"2605.20254","title":"Efficient Table QA via TableGrid Navigation and Progressive Inference Prompting","created":"2026-05-18","cited_by_count":0,"area":null},{"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.13260","title":"Discourse-Aware Policy Analysis with Argumentation: A Hybrid LLM-Symbolic Framework for Disaster Governance","created":"2026-07-14","cited_by_count":0,"area":null},{"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}