{"total":41,"rows":[{"id":"2410.11415","title":"KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI","created":"2024-10-15","cited_by_count":16,"area":null},{"id":"2304.07647","title":"LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision","created":"2023-04-15","cited_by_count":13,"area":null},{"id":"2308.03312","title":"Exploiting Code Symmetries for Learning Program Semantics","created":"2023-08-07","cited_by_count":10,"area":null},{"id":"2507.11127","title":"Defining neurosymbolic AI","created":"2025-07-15","cited_by_count":8,"area":null},{"id":"2406.06246","title":"Data-Efficient Learning with Neural Programs","created":"2024-06-10","cited_by_count":7,"area":null},{"id":"2412.14515","title":"Relational Programming with Foundation Models","created":"2024-12-19","cited_by_count":7,"area":null},{"id":"2410.14219","title":"Formal Explanations for Neuro-Symbolic AI","created":"2024-10-18","cited_by_count":6,"area":null},{"id":"2406.01829","title":"Fa\\c{c}AID: A Transformer Model for Neuro-Symbolic Facade Reconstruction","created":"2024-06-03","cited_by_count":5,"area":null},{"id":"2502.12267","title":"NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS","created":"2025-02-17","cited_by_count":5,"area":null},{"id":"2512.07383","title":"LogicCBMs: Logic-Enhanced Concept-Based Learning","created":"2025-12-08","cited_by_count":5,"area":null},{"id":"2606.26525","title":"Theory-Scale Auto-Formalization of Logics for Computer Science","created":"2026-06-25","cited_by_count":4,"area":null},{"id":"2405.08965","title":"MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming","created":"2024-05-14","cited_by_count":3,"area":null},{"id":"2503.16797","title":"A Learnability Analysis on Neuro-Symbolic Learning","created":"2025-03-21","cited_by_count":3,"area":null},{"id":"2512.03491","title":"Modal Logic Neural Networks","created":"2025-12-03","cited_by_count":3,"area":null},{"id":"2601.14894","title":"To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits","created":"2026-01-21","cited_by_count":3,"area":null},{"id":"2407.10000","title":"Imbalances in Neurosymbolic Learning: Characterization and Mitigating Strategies","created":"2024-07-13","cited_by_count":2,"area":null},{"id":"2505.05106","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","created":"2025-05-08","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":"2511.13769","title":"Compiling to linear neurons","created":"2025-11-14","cited_by_count":2,"area":null},{"id":"2605.22498","title":"The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning","created":"2026-05-21","cited_by_count":2,"area":null},{"id":"2606.20510","title":"Efficient and Sound Probabilistic Verification for AI Agents","created":"2026-06-18","cited_by_count":2,"area":null},{"id":"2608.15432","title":"Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs","created":"2026-08-15","cited_by_count":2,"area":null},{"id":"2503.24123","title":"CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning","created":"2025-03-31","cited_by_count":1,"area":null},{"id":"2509.13047","title":"Multi-Model Synthetic Training for Mission-Critical Small Language Models","created":"2025-09-16","cited_by_count":1,"area":null},{"id":"2601.12442","title":"Constraint-Aware Neurosymbolic Uncertainty Quantification with Bayesian Deep Learning for Scientific Discovery","created":"2026-01-18","cited_by_count":1,"area":null},{"id":"2602.07973","title":"On Improving Neurosymbolic Learning by Exploiting the Representation Space","created":"2026-02-08","cited_by_count":1,"area":null},{"id":"2608.26236","title":"6.5% of the Neuro-Symbolic Literature Can Be Reproduced from Its Published Artifacts, a Six-Stage Audit Framework and First Instantiation","created":"2026-08-26","cited_by_count":1,"area":null},{"id":"2511.14953","title":"Compiling to recurrent neurons","created":"2025-11-18","cited_by_count":0,"area":null},{"id":"2511.19427","title":"Prompt Less, Smile More: MTP with Semantic Engineering in Lieu of Prompt Engineering","created":"2025-11-24","cited_by_count":0,"area":null},{"id":"2603.18203","title":"How Psychological Learning Paradigms Shaped and Constrained Artificial Intelligence","created":"2026-03-18","cited_by_count":0,"area":null},{"id":"2605.22874","title":"NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic","created":"2026-05-20","cited_by_count":0,"area":null},{"id":"2605.23931","title":"BODHI: Precise OS Kernel Specification Inference","created":"2026-04-22","cited_by_count":0,"area":null},{"id":"2605.26942","title":"Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)","created":"2026-05-26","cited_by_count":0,"area":null},{"id":"2606.11946","title":"Neuro-Relational Programs: Unifying Queries and Neural Computation over Structured Data","created":"2026-06-10","cited_by_count":0,"area":null},{"id":"2606.15251","title":"Driving, Fast or Slow? Neuro-Symbolic Guidance for Motion Prediction in Multi-Modal Ground Mobility","created":"2026-06-13","cited_by_count":0,"area":null},{"id":"2606.20526","title":"DeepSWIP: Quotient-WMC Counterfactuals for Neural Probabilistic Logic Programs","created":"2026-06-18","cited_by_count":0,"area":null},{"id":"2607.03574","title":"Differentiate the Evaluator, Not the Program: An Efficient Runtime Representation for Neuro-Symbolic Learning","created":"2026-07-03","cited_by_count":0,"area":null},{"id":"2608.14569","title":"Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration","created":"2026-06-02","cited_by_count":0,"area":null},{"id":"2608.17741","title":"Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits","created":"2026-08-18","cited_by_count":0,"area":null},{"id":"2609.27203","title":"XLOG: A CUDA-Native Engine for Neurosymbolic Integration","created":"2026-09-23","cited_by_count":0,"area":null},{"id":"2609.32198","title":"Agents as Software: A Programming Languages Agenda for Agent Reliability","created":"2026-09-26","cited_by_count":0,"area":null}],"next_cursor":null}