{"total":78,"rows":[{"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":"2212.12393","title":"A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference","created":"2022-12-23","cited_by_count":50,"area":"lr"},{"id":"2407.05557","title":"$R^2$-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning","created":"2024-07-08","cited_by_count":43,"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":"2205.14268","title":"NeuPSL: Neural Probabilistic Soft Logic","created":"2022-05-27","cited_by_count":34,"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":"2205.12598","title":"RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoning","created":"2022-05-25","cited_by_count":22,"area":"lr"},{"id":"2306.02797","title":"Human-like Few-Shot Learning via Bayesian Reasoning over Natural Language","created":"2023-06-05","cited_by_count":22,"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":"2409.17270","title":"Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning","created":"2024-09-25","cited_by_count":19,"area":"lr"},{"id":"2305.03742","title":"Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming","created":"2023-05-05","cited_by_count":18,"area":"lr"},{"id":"2209.07662","title":"NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning","created":"2022-09-16","cited_by_count":16,"area":"lr"},{"id":"2505.13138","title":"Neurosymbolic Diffusion Models","created":"2025-05-19","cited_by_count":13,"area":"lr"},{"id":"2307.00928","title":"Learning Differentiable Logic Programs for Abstract Visual Reasoning","created":"2023-07-03","cited_by_count":12,"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":"2410.20957","title":"Neuro-symbolic Learning Yielding Logical Constraints","created":"2024-10-28","cited_by_count":12,"area":"lr"},{"id":"2412.07331","title":"NeSyA: Neurosymbolic Automata","created":"2024-12-10","cited_by_count":10,"area":"lr"},{"id":"2406.04472","title":"On the Hardness of Probabilistic Neurosymbolic Learning","created":"2024-06-06","cited_by_count":9,"area":"lr"},{"id":"2412.08457","title":"Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection","created":"2024-12-11","cited_by_count":9,"area":"lr"},{"id":"2306.07743","title":"V-LoL: A Diagnostic Dataset for Visual Logical Learning","created":"2023-06-13","cited_by_count":8,"area":"lr"},{"id":"2303.12578","title":"Neuro-Symbolic Reasoning Shortcuts: Mitigation Strategies and their Limitations","created":"2023-03-22","cited_by_count":7,"area":"lr"},{"id":"2305.13179","title":"Teaching Probabilistic Logical Reasoning to Transformers","created":"2023-05-22","cited_by_count":7,"area":"lr"},{"id":"2403.04017","title":"Learning Guided Automated Reasoning: A Brief Survey","created":"2024-03-06","cited_by_count":7,"area":"lr"},{"id":"2308.10487","title":"Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees","created":"2023-08-21","cited_by_count":6,"area":"lr"},{"id":"2501.07021","title":"Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions through Logical Reasoning","created":"2025-01-13","cited_by_count":6,"area":"lr"},{"id":"2511.18964","title":"Synthesizing Visual Concepts as Vision-Language Programs","created":"2025-11-24","cited_by_count":6,"area":"lr"},{"id":"2410.03348","title":"Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning","created":"2024-10-04","cited_by_count":5,"area":"lr"},{"id":"2511.21033","title":"Towards Trustworthy Legal AI through LLM Agents and Formal Reasoning","created":"2025-11-26","cited_by_count":5,"area":"lr"},{"id":"2211.11650","title":"Neural Meta-Symbolic Reasoning and Learning","created":"2022-11-21","cited_by_count":4,"area":"lr"},{"id":"2402.00591","title":"Sandra -- A Neuro-Symbolic Reasoner Based On Descriptions And Situations","created":"2024-02-01","cited_by_count":4,"area":"lr"},{"id":"2503.21937","title":"Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming","created":"2025-03-27","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.03366","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","created":"2025-08-05","cited_by_count":4,"area":"lr"},{"id":"2303.05148","title":"Weakly Supervised Knowledge Transfer with Probabilistic Logical Reasoning for Object Detection","created":"2023-03-09","cited_by_count":3,"area":"lr"},{"id":"2310.02133","title":"Learning Reliable Logical Rules with SATNet","created":"2023-10-03","cited_by_count":3,"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":"2502.08932","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","created":"2025-02-13","cited_by_count":3,"area":"lr"},{"id":"2502.12919","title":"A Smooth Transition Between Induction and Deduction: Fast Abductive Learning Based on Probabilistic Symbol Perception","created":"2025-02-18","cited_by_count":3,"area":"lr"},{"id":"2510.25497","title":"Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI","created":"2025-10-29","cited_by_count":3,"area":"lr"},{"id":"2208.06838","title":"Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning","created":"2022-08-14","cited_by_count":2,"area":"lr"},{"id":"2306.14077","title":"Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles","created":"2023-06-24","cited_by_count":2,"area":"lr"},{"id":"2310.17451","title":"Generating by Understanding: Neural Visual Generation with Logical Symbol Groundings","created":"2023-10-26","cited_by_count":2,"area":"lr"},{"id":"2602.05120","title":"Certifiable Boolean Reasoning Is Universal","created":"2026-02-04","cited_by_count":2,"area":"lr"},{"id":"2211.12006","title":"Differentiable Fuzzy $\\mathcal{ALC}$: A Neural-Symbolic Representation Language for Symbol Grounding","created":"2022-11-22","cited_by_count":1,"area":"lr"},{"id":"2306.17249","title":"A Hybrid System for Systematic Generalization in Simple Arithmetic Problems","created":"2023-06-29","cited_by_count":1,"area":"lr"},{"id":"2309.08931","title":"A Novel Neural-symbolic System under Statistical Relational Learning","created":"2023-09-16","cited_by_count":1,"area":"lr"},{"id":"2405.09521","title":"Declarative Design of Neural Predicates in Neuro-Symbolic Systems","created":"2024-05-15","cited_by_count":1,"area":"lr"},{"id":"2502.03274","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","created":"2025-02-05","cited_by_count":1,"area":"lr"},{"id":"2505.12275","title":"Curriculum Abductive Learning","created":"2025-05-18","cited_by_count":1,"area":"lr"},{"id":"2505.20313","title":"Reasoning in Neurosymbolic AI","created":"2025-05-22","cited_by_count":1,"area":"lr"},{"id":"2509.07665","title":"DeepGraphLog for Layered Neurosymbolic AI","created":"2025-09-09","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":"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":"2609.13520","title":"From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models","created":"2026-09-11","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":"2301.11435","title":"Learning Modulo Theories","created":"2023-01-26","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":"2503.08762","title":"Neurosymbolic Decision Trees","created":"2025-03-11","cited_by_count":0,"area":"lr"},{"id":"2506.10753","title":"Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering","created":"2025-06-12","cited_by_count":0,"area":"lr"},{"id":"2508.11647","title":"Categorical Construction of Logically Verifiable Neural Architectures","created":"2025-08-02","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":"2511.08581","title":"DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs","created":"2025-11-11","cited_by_count":0,"area":"lr"},{"id":"2601.17188","title":"Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction","created":"2026-01-23","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.14890","title":"Lifted Relational Probabilistic Inference via Implicit Learning","created":"2026-02-16","cited_by_count":0,"area":"lr"},{"id":"2603.12421","title":"A Neuro-Symbolic Framework Combining Inductive and Deductive Reasoning for Autonomous Driving Planning","created":"2026-03-12","cited_by_count":0,"area":"lr"},{"id":"2603.18436","title":"AS2 -- Attention-Based Soft Answer Sets: An End-to-End Differentiable Neuro-Soft-Symbolic Reasoning Architecture","created":"2026-03-19","cited_by_count":0,"area":"lr"},{"id":"2603.23867","title":"Can VLMs Reason Robustly? A Neuro-Symbolic Investigation","created":"2026-03-25","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":"2605.25566","title":"Uncertainty Reasoning with Large Language Models for Explainable Disease Diagnosis","created":"2026-05-25","cited_by_count":0,"area":"lr"},{"id":"2606.14463","title":"EM-NeSy: Expectation Maximization for Neurosymbolic Learning","created":"2026-06-12","cited_by_count":0,"area":"lr"},{"id":"2607.08136","title":"Answer Set Programming Energised! End-to-End Neurosymbolic Reasoning and Learning with ASP and Energy Based Models","created":"2026-07-09","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.21185","title":"Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems","created":"2026-07-23","cited_by_count":0,"area":"lr"},{"id":"2609.39561","title":"Candidate Retention for Abductive Learning","created":"2026-09-30","cited_by_count":0,"area":"lr"}],"next_cursor":null}