{"total":33,"rows":[{"id":"2206.00426","title":"Semantic Probabilistic Layers for Neuro-Symbolic Learning","created":"2022-06-01","cited_by_count":103,"area":null},{"id":"2205.00523","title":"Deep Learning with Logical Constraints","created":"2022-05-01","cited_by_count":44,"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":"2308.12595","title":"Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation","created":"2023-08-24","cited_by_count":29,"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":"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":"2309.13556","title":"LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning","created":"2023-09-24","cited_by_count":17,"area":null},{"id":"2502.06774","title":"ENFORCE: Nonlinear Constrained Learning with Adaptive-depth Neural Projection","created":"2025-02-10","cited_by_count":17,"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":"2109.06661","title":"Expert Knowledge-Guided Length-Variant Hierarchical Label Generation for Proposal Classification","created":"2021-09-14","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":"2304.03674","title":"Machine Learning with Requirements: a Manifesto","created":"2023-04-07","cited_by_count":8,"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":"2203.10922","title":"Who Should Review Your Proposal? Interdisciplinary Topic Path Detection for Research Proposals","created":"2022-03-07","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":"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":"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":"2508.15943","title":"T-ILR: a Neurosymbolic Integration for LTLf","created":"2025-08-21","cited_by_count":3,"area":null},{"id":"2307.00171","title":"The Integer Linear Programming Inference Cookbook","created":"2023-06-30","cited_by_count":2,"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":"2508.13452","title":"Hierarchy-Consistent Learning and Adaptive Loss Balancing for Hierarchical Multi-Label Classification","created":"2025-08-19","cited_by_count":2,"area":null},{"id":"2411.01683","title":"ROAD-Waymo: A Large-Scale Action Awareness Dataset for Autonomous Driving","created":"2024-11-03","cited_by_count":1,"area":null},{"id":"2502.05416","title":"Deep Generative Models with Hard Linear Equality Constraints","created":"2025-02-08","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":"2205.07833","title":"Ranking hierarchical multi-label classification results with mLPRs","created":"2022-05-16","cited_by_count":0,"area":null},{"id":"2511.02825","title":"Neurosymbolic Deep Learning Semantics","created":"2025-11-04","cited_by_count":0,"area":null},{"id":"2606.05471","title":"Formal Concept Lattices are Good Semantic Scaffolds for Concept-Based Learning","created":"2026-06-03","cited_by_count":0,"area":null}],"next_cursor":null}