{"total":39,"rows":[{"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":"2303.14617","title":"Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databases","created":"2023-03-26","cited_by_count":35,"area":"lr"},{"id":"2205.14268","title":"NeuPSL: Neural Probabilistic Soft Logic","created":"2022-05-27","cited_by_count":34,"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":"2302.13482","title":"PyReason: Software for Open World Temporal Logic","created":"2023-02-27","cited_by_count":16,"area":"lr"},{"id":"2505.13138","title":"Neurosymbolic Diffusion Models","created":"2025-05-19","cited_by_count":13,"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":"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":"2411.00773","title":"LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation","created":"2024-11-01","cited_by_count":8,"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":"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":"2409.16045","title":"LTNtorch: PyTorch Implementation of Logic Tensor Networks","created":"2024-09-24","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":"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":"2402.13019","title":"Improving Neural-based Classification with Logical Background Knowledge","created":"2024-02-20","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":"2405.09521","title":"Declarative Design of Neural Predicates in Neuro-Symbolic Systems","created":"2024-05-15","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.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":"2404.08404","title":"A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques","created":"2024-04-12","cited_by_count":0,"area":"lr"},{"id":"2509.04083","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","created":"2025-09-04","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":"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.28558","title":"T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and G\\\"odel Semantics in a Neuro-Symbolic Reasoning System","created":"2026-03-30","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.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":"2607.22365","title":"TRACTA: Benchmarking Temporal Reasoning over Semantic Trajectories","created":"2026-07-24","cited_by_count":0,"area":"lr"},{"id":"2609.00464","title":"Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective","created":"2026-08-31","cited_by_count":0,"area":"lr"},{"id":"2609.05388","title":"Think-Verify-Revise: Neuro-Symbolic Visual Reasoning with Vision-Language Models and Dynamic Logic Tensor Networks","created":"2026-09-04","cited_by_count":0,"area":"lr"},{"id":"2609.26113","title":"Differentiable Fuzzy Inference Layer: A Monotone, Compositional Ordinal Reasoning Head for Large Language Models","created":"2026-08-17","cited_by_count":0,"area":"lr"}],"next_cursor":null}