{"total":38,"rows":[{"id":"2211.10435","title":"PAL: Program-aided Language Models","created":"2022-11-18","cited_by_count":652,"area":"lr"},{"id":"2205.09712","title":"Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning","created":"2022-05-19","cited_by_count":334,"area":"lr"},{"id":"2305.09656","title":"SatLM: Satisfiability-Aided Language Models Using Declarative Prompting","created":"2023-05-16","cited_by_count":102,"area":"lr"},{"id":"2212.13894","title":"LAMBADA: Backward Chaining for Automated Reasoning in Natural Language","created":"2022-12-20","cited_by_count":66,"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":"2309.13339","title":"Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic","created":"2023-09-23","cited_by_count":35,"area":"lr"},{"id":"2210.12040","title":"Neuro-Symbolic Causal Reasoning Meets Signaling Game for Emergent Semantic Communications","created":"2022-10-21","cited_by_count":21,"area":"lr"},{"id":"2302.07200","title":"Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey","created":"2023-02-14","cited_by_count":21,"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":"2302.07866","title":"Do Deep Neural Networks Capture Compositionality in Arithmetic Reasoning?","created":"2023-02-15","cited_by_count":11,"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":"2506.23908","title":"Beyond Statistical Learning: Exact Learning Is Essential for General Intelligence","created":"2025-06-30","cited_by_count":6,"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":"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":"2401.07744","title":"Combining Machine Learning and Ontology: A Systematic Literature Review","created":"2024-01-15","cited_by_count":3,"area":"lr"},{"id":"2504.16414","title":"Evaluating Multi-Hop Reasoning in Large Language Models: A Chemistry-Centric Case Study","created":"2025-04-23","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":"2511.17673","title":"Bridging Symbolic Control and Neural Reasoning in LLM Agents -- The Structured Cognitive Loop","created":"2025-11-21","cited_by_count":3,"area":"lr"},{"id":"2604.00555","title":"Ontology-Constrained Neural Reasoning in Enterprise Agentic Systems: A Neurosymbolic Architecture for Domain-Grounded AI Agents","created":"2026-04-01","cited_by_count":3,"area":"lr"},{"id":"2603.08322","title":"Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design","created":"2026-03-09","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":"2302.08148","title":"Empirical Investigation of Neural Symbolic Reasoning Strategies","created":"2023-02-16","cited_by_count":1,"area":"lr"},{"id":"2402.03663","title":"Symbol Correctness in Deep Neural Networks Containing Symbolic Layers","created":"2024-02-06","cited_by_count":1,"area":"lr"},{"id":"2403.02933","title":"Fuzzy Datalog$^\\exists$ over Arbitrary t-Norms","created":"2024-03-05","cited_by_count":1,"area":"lr"},{"id":"2510.00185","title":"Object-Centric Case-Based Reasoning via Argumentation","created":"2025-09-30","cited_by_count":1,"area":"lr"},{"id":"2605.25183","title":"Knowledge Graph-Driven Expert-Level Reasoning for Neuroscience","created":"2026-05-24","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":"2509.04083","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","created":"2025-09-04","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":"2601.05304","title":"Ontology Neural Networks for Topologically Conditioned Constraint Satisfaction","created":"2026-01-08","cited_by_count":0,"area":"lr"},{"id":"2606.16845","title":"Robust Dual-Signal Fusion: Hybrid Neuro-Symbolic Gating with Compressed Chain-of-Thought Refinement for Irony Detection in Social Media Texts","created":"2026-06-15","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.22365","title":"TRACTA: Benchmarking Temporal Reasoning over Semantic Trajectories","created":"2026-07-24","cited_by_count":0,"area":"lr"},{"id":"2607.23055","title":"SymStep: Symbolic Step Verification for Logical Reasoning","created":"2026-07-25","cited_by_count":0,"area":"lr"},{"id":"2608.08192","title":"A Minimal $\\kappa$--$\\tau$ Logic for Risk-Sensitive Abduction","created":"2026-08-08","cited_by_count":0,"area":"lr"},{"id":"2609.05257","title":"Commonsense Reasoning in Computer Vision: Foundations, Recent Advancements, and Future Directions","created":"2026-09-04","cited_by_count":0,"area":"lr"},{"id":"2610.15091","title":"Have You Been Convinced? A Neuro-symbolic Argumentation Reasoning Approach to Detecting Persuasiveness in ChangeMyView Discussions","created":"2026-10-10","cited_by_count":0,"area":"lr"}],"next_cursor":null}