{"total":37,"rows":[{"id":"2503.23077","title":"Efficient Inference for Large Reasoning Models: A Survey","created":"2025-03-29","cited_by_count":61,"area":"lr"},{"id":"2201.11473","title":"Reasoning Like Program Executors","created":"2022-01-27","cited_by_count":45,"area":"lr"},{"id":"2203.10316","title":"Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction","created":"2022-03-19","cited_by_count":44,"area":"lr"},{"id":"2202.12205","title":"Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review","created":"2022-02-24","cited_by_count":38,"area":"lr"},{"id":"2201.12382","title":"Deep Learning Methods for Abstract Visual Reasoning: A Survey on Raven's Progressive Matrices","created":"2022-01-28","cited_by_count":37,"area":"lr"},{"id":"2205.14268","title":"NeuPSL: Neural Probabilistic Soft Logic","created":"2022-05-27","cited_by_count":34,"area":"lr"},{"id":"2505.18237","title":"Think or Not? Exploring Thinking Efficiency in Large Reasoning Models via an Information-Theoretic Lens","created":"2025-05-23","cited_by_count":34,"area":"lr"},{"id":"2202.10284","title":"A Review of Emerging Research Directions in Abstract Visual Reasoning","created":"2022-02-21","cited_by_count":33,"area":"lr"},{"id":"2202.04178","title":"VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming","created":"2022-02-07","cited_by_count":31,"area":"lr"},{"id":"2208.11561","title":"Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions","created":"2022-08-24","cited_by_count":21,"area":"lr"},{"id":"2402.01889","title":"The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning","created":"2024-02-02","cited_by_count":12,"area":"lr"},{"id":"2411.18564","title":"Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMs","created":"2024-11-27","cited_by_count":6,"area":"lr"},{"id":"2407.19666","title":"Take A Step Back: Rethinking the Two Stages in Visual Reasoning","created":"2024-07-29","cited_by_count":4,"area":"lr"},{"id":"2602.24111","title":"Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification","created":"2026-02-27","cited_by_count":4,"area":"lr"},{"id":"2312.11651","title":"Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)","created":"2023-12-18","cited_by_count":3,"area":"lr"},{"id":"2310.03325","title":"Learning Concept-Based Causal Transition and Symbolic Reasoning for Visual Planning","created":"2023-10-05","cited_by_count":2,"area":"lr"},{"id":"2510.06002","title":"Deterministic Legal Agents: A Canonical Primitive API for Auditable Reasoning over Temporal Knowledge Graphs","created":"2025-10-07","cited_by_count":2,"area":"lr"},{"id":"2306.12069","title":"Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension","created":"2023-06-21","cited_by_count":1,"area":"lr"},{"id":"2310.09383","title":"Integrating Symbolic Reasoning into Neural Generative Models for Design Generation","created":"2023-10-13","cited_by_count":1,"area":"lr"},{"id":"2509.21663","title":"Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration","created":"2025-09-25","cited_by_count":1,"area":"lr"},{"id":"2510.22034","title":"LLM-AR: LLM-powered Automated Reasoning Framework","created":"2025-10-24","cited_by_count":1,"area":"lr"},{"id":"2605.18202","title":"Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models","created":"2026-05-18","cited_by_count":1,"area":"lr"},{"id":"2608.04285","title":"The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning","created":"2026-08-04","cited_by_count":1,"area":"lr"},{"id":"2201.10266","title":"Combining Commonsense Reasoning and Knowledge Acquisition to Guide Deep Learning in Robotics","created":"2022-01-25","cited_by_count":0,"area":"lr"},{"id":"2305.02171","title":"Continual Reasoning: Non-Monotonic Reasoning in Neurosymbolic AI using Continual Learning","created":"2023-05-03","cited_by_count":0,"area":"lr"},{"id":"2502.00629","title":"Advanced Weakly-Supervised Formula Exploration for Neuro-Symbolic Mathematical Reasoning","created":"2025-02-02","cited_by_count":0,"area":"lr"},{"id":"2507.15917","title":"HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs","created":"2025-07-21","cited_by_count":0,"area":"lr"},{"id":"2508.14923","title":"A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone","created":"2025-08-19","cited_by_count":0,"area":"lr"},{"id":"2508.19271","title":"Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond ICL and CoT","created":"2025-08-22","cited_by_count":0,"area":"lr"},{"id":"2509.07017","title":"From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning","created":"2025-09-07","cited_by_count":0,"area":"lr"},{"id":"2510.10063","title":"CLMN: Concept based Language Models via Neural Symbolic Reasoning","created":"2025-10-11","cited_by_count":0,"area":"lr"},{"id":"2512.04228","title":"Addressing Logical Fallacies In Scientific Reasoning From Large Language Models: Towards a Dual-Inference Training Framework","created":"2025-12-03","cited_by_count":0,"area":"lr"},{"id":"2512.07871","title":"Quantum Circuit Reasoning Models: A Variational Framework for Differentiable Logical Inference","created":"2025-11-26","cited_by_count":0,"area":"lr"},{"id":"2512.22258","title":"Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method","created":"2025-12-24","cited_by_count":0,"area":"lr"},{"id":"2605.04243","title":"Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA","created":"2026-05-05","cited_by_count":0,"area":"lr"},{"id":"2608.14804","title":"Generated Context versus Governed State: Functional Conditions for Accountable Longitudinal Clinical Reasoning","created":"2026-08-14","cited_by_count":0,"area":"lr"},{"id":"2608.15673","title":"PL-Guard: Probabilistic Logic Reasoning for LLM Guardrails","created":"2026-08-16","cited_by_count":0,"area":"lr"}],"next_cursor":null}