{"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":"2205.00523","title":"Deep Learning with Logical Constraints","created":"2022-05-01","cited_by_count":44,"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":"2302.01242","title":"Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal","created":"2023-02-02","cited_by_count":33,"area":null},{"id":"2402.04823","title":"How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data","created":"2024-02-07","cited_by_count":29,"area":null},{"id":"2312.03905","title":"A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints","created":"2023-12-06","cited_by_count":22,"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":"2502.18237","title":"Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints","created":"2025-02-25","cited_by_count":18,"area":null},{"id":"2403.00323","title":"Softened Symbol Grounding for Neuro-symbolic Systems","created":"2024-03-01","cited_by_count":16,"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":"2307.03577","title":"CuTS: Customizable Tabular Synthetic Data Generation","created":"2023-07-07","cited_by_count":13,"area":null},{"id":"2502.11245","title":"Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens","created":"2025-02-16","cited_by_count":13,"area":null},{"id":"2302.14207","title":"Semantic Strengthening of Neuro-Symbolic Learning","created":"2023-02-28","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":"2503.19466","title":"A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction","created":"2025-03-25","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":"2304.03674","title":"Machine Learning with Requirements: a Manifesto","created":"2023-04-07","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":"2303.01141","title":"DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction","created":"2023-03-02","cited_by_count":4,"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":"2112.00552","title":"SaDe: Learning Models that Provably Satisfy Domain Constraints","created":"2021-12-01","cited_by_count":3,"area":null},{"id":"2205.15762","title":"Knowledge Enhanced Neural Networks for relational domains","created":"2022-05-31","cited_by_count":3,"area":null},{"id":"2309.15458","title":"LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints","created":"2023-09-27","cited_by_count":3,"area":null},{"id":"2312.05964","title":"ConSequence: Synthesizing Logically Constrained Sequences for Electronic Health Record Generation","created":"2023-12-10","cited_by_count":3,"area":null},{"id":"2405.07387","title":"Semantic Loss Functions for Neuro-Symbolic Structured Prediction","created":"2024-05-12","cited_by_count":3,"area":null},{"id":"2407.20513","title":"Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language","created":"2024-07-30","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.03839","title":"Logic Tensor Network-Enhanced Generative Adversarial Network","created":"2026-01-07","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":"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":"2605.16383","title":"A neurosymbolic Approach with Epistemic Deep Learning for Hierarchical Image Classification","created":"2026-05-11","cited_by_count":1,"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":"2504.08415","title":"Constrained Machine Learning Through Hyperspherical Representation","created":"2025-04-11","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":"2608.21605","title":"Generate in the Chart, Not on the Boundary: Function-Symbol Grounding for Hard Constraints in LTN-GANs","created":"2026-08-21","cited_by_count":0,"area":null}],"next_cursor":null}