{"total":19,"rows":[{"id":"2406.10368","title":"A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts","created":"2024-06-14","cited_by_count":19,"area":null},{"id":"2410.11415","title":"KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI","created":"2024-10-15","cited_by_count":16,"area":null},{"id":"2311.12569","title":"Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick","created":"2023-11-21","cited_by_count":14,"area":null},{"id":"2503.19466","title":"A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction","created":"2025-03-25","cited_by_count":11,"area":null},{"id":"2405.00532","title":"ULLER: A Unified Language for Learning and Reasoning","created":"2024-05-01","cited_by_count":9,"area":null},{"id":"2507.11127","title":"Defining neurosymbolic AI","created":"2025-07-15","cited_by_count":8,"area":null},{"id":"2402.13782","title":"Semirings for Probabilistic and Neuro-Symbolic Logic Programming","created":"2024-02-21","cited_by_count":6,"area":null},{"id":"2412.14076","title":"Compositional Generalization Across Distributional Shifts with Sparse Tree Operations","created":"2024-12-18","cited_by_count":5,"area":null},{"id":"2404.03623","title":"Unveiling LLMs: The Evolution of Latent Representations in a Dynamic Knowledge Graph","created":"2024-04-04","cited_by_count":4,"area":null},{"id":"2407.02424","title":"A Pattern Language for Machine Learning Tasks","created":"2024-07-02","cited_by_count":4,"area":null},{"id":"2410.12389","title":"A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic","created":"2024-10-16","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":"2506.16129","title":"Neurosymbolic Object-Centric Learning with Distant Supervision","created":"2025-06-19","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":"2504.07851","title":"Independence Is Not an Issue in Neurosymbolic AI","created":"2025-04-10","cited_by_count":1,"area":null},{"id":"2602.08681","title":"The Theory and Practice of MAP Inference over Non-Convex Constraints","created":"2026-02-09","cited_by_count":1,"area":null},{"id":"2312.01521","title":"Neural Markov Prolog","created":"2023-11-27","cited_by_count":0,"area":null},{"id":"2606.19279","title":"NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning","created":"2026-06-17","cited_by_count":0,"area":null},{"id":"2608.13018","title":"Foundations of MT-PDCL: Measure-Theoretic Probabilistic Definite Clause Logic","created":"2026-08-13","cited_by_count":0,"area":null}],"next_cursor":null}