{"total":39,"rows":[{"id":"2206.00426","title":"Semantic Probabilistic Layers for Neuro-Symbolic Learning","created":"2022-06-01","cited_by_count":103,"area":null},{"id":"2305.19951","title":"Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts","created":"2023-05-31","cited_by_count":63,"area":null},{"id":"2402.12240","title":"BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts","created":"2024-02-19","cited_by_count":37,"area":null},{"id":"2210.15889","title":"Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing","created":"2022-10-28","cited_by_count":35,"area":null},{"id":"2210.01597","title":"ROAD-R: The Autonomous Driving Dataset with Logical Requirements","created":"2022-10-04","cited_by_count":34,"area":null},{"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":"2404.08458","title":"On the Independence Assumption in Neurosymbolic Learning","created":"2024-04-12","cited_by_count":18,"area":null},{"id":"2309.13556","title":"LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning","created":"2023-09-24","cited_by_count":17,"area":null},{"id":"2303.10650","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL","created":"2023-03-19","cited_by_count":15,"area":null},{"id":"2503.05954","title":"A Survey on Deep Learning Approaches for Tabular Data Generation: Utility, Alignment, Fidelity, Privacy, Diversity, and Beyond","created":"2025-03-07","cited_by_count":15,"area":null},{"id":"2401.06379","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","created":"2024-01-12","cited_by_count":14,"area":null},{"id":"2501.05867","title":"Neural Network Verification is a Programming Language Challenge","created":"2025-01-10","cited_by_count":12,"area":null},{"id":"2206.04976","title":"Refining neural network predictions using background knowledge","created":"2022-06-10","cited_by_count":11,"area":null},{"id":"2403.00329","title":"Learning with Logical Constraints but without Shortcut Satisfaction","created":"2024-03-01","cited_by_count":10,"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":"2209.13519","title":"Hierarchical Interdisciplinary Topic Detection Model for Research Proposal Classification","created":"2022-09-16","cited_by_count":8,"area":null},{"id":"2404.19696","title":"Naturally Supervised 3D Visual Grounding with Language-Regularized Concept Learners","created":"2024-04-30","cited_by_count":8,"area":null},{"id":"2305.15775","title":"Concept-Centric Transformers: Enhancing Model Interpretability through Object-Centric Concept Learning within a Shared Global Workspace","created":"2023-05-25","cited_by_count":7,"area":null},{"id":"2408.08133","title":"EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic","created":"2024-08-15","cited_by_count":6,"area":null},{"id":"2402.11362","title":"Exploiting T-norms for Deep Learning in Autonomous Driving","created":"2024-02-17","cited_by_count":4,"area":null},{"id":"2403.07078","title":"Improving deep learning with prior knowledge and cognitive models: A survey on enhancing explainability, adversarial robustness and zero-shot learning","created":"2024-03-11","cited_by_count":4,"area":null},{"id":"2405.14389","title":"stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic","created":"2024-05-23","cited_by_count":3,"area":null},{"id":"2506.09701","title":"ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search","created":"2025-06-11","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":"2402.18285","title":"PiShield: A PyTorch Package for Learning with Requirements","created":"2024-02-28","cited_by_count":2,"area":null},{"id":"2409.16956","title":"Informed deep hierarchical classification: a non-standard analysis inspired approach","created":"2024-09-25","cited_by_count":2,"area":null},{"id":"2509.22399","title":"Integrating Background Knowledge in Medical Semantic Segmentation with Logic Tensor Networks","created":"2025-09-26","cited_by_count":2,"area":null},{"id":"2603.03177","title":"Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era","created":"2026-03-03","cited_by_count":2,"area":null},{"id":"2208.12523","title":"ESC-Rules: Explainable, Semantically Constrained Rule Sets","created":"2022-08-26","cited_by_count":1,"area":null},{"id":"2401.09651","title":"Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning","created":"2024-01-17","cited_by_count":1,"area":null},{"id":"2504.12031","title":"Proof-Carrying Neuro-Symbolic Code","created":"2025-04-16","cited_by_count":1,"area":null},{"id":"2505.00466","title":"A General Framework for Property-Driven Machine Learning","created":"2025-05-01","cited_by_count":1,"area":null},{"id":"2306.13381","title":"Co-creating a globally interpretable model with human input","created":"2023-06-23","cited_by_count":0,"area":null},{"id":"2411.14163","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","created":"2024-11-21","cited_by_count":0,"area":null},{"id":"2411.18645","title":"Bi-ICE: An Inner Interpretable Framework for Image Classification via Bi-directional Interactions between Concept and Input Embeddings","created":"2024-11-26","cited_by_count":0,"area":null},{"id":"2505.05880","title":"Combining Abstract Argumentation and Machine Learning for Efficiently Analyzing Low-Level Process Event Streams","created":"2025-05-09","cited_by_count":0,"area":null},{"id":"2605.13845","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","created":"2026-05-13","cited_by_count":0,"area":null},{"id":"2605.30456","title":"DisjunctiveNet: Neural Symbolic Learning via Differentiable Convexified Optimization Layers","created":"2026-05-28","cited_by_count":0,"area":null},{"id":"2606.23760","title":"Engineering Reliable Autonomous Systems: Challenges and Solutions","created":"2026-06-22","cited_by_count":0,"area":null}],"next_cursor":null}