Multi-Label Classification Neural Networks with Hard Logical Constraints
Not on the map. Why?
Abstract (arXiv)
Multi-label classification (MC) is a standard machine learning problem in which a data point can be associated with a set of classes. A more challenging scenario is given by hierarchical multi-label classification (HMC) problems, in which every prediction must satisfy a given set of hard constraints expressing subclass relationships between classes. In this paper, we propose C-HMCNN(h), a novel approach for solving HMC problems, which, given a network h for the underlying MC problem, exploits the hierarchy information in order to produce predictions coherent with the constraints and to improve performance. Furthermore, we extend the logic used to express HMC constraints in order to be able to specify more complex relations among the classes and propose a new model CCN(h), which extends C-HMCNN(h) and is again able to satisfy and exploit the constraints to improve performance. We conduct an extensive experimental analysis showing the superior performance of both C-HMCNN(h) and CCN(h) when compared to state-of-the-art models in both the HMC and the general MC setting with hard logical constraints.
Key facts. Cited by 36 papers in the map (data through 14 Oct 2026). Builds on 17 of its 86 references that are in the map. First posted on arXiv 24 Mar 2021.
Builds on
17 of 86 references.
References · 17
- 2014Adam: A Method for Stochastic Optimizationcited by 37,240
- 2015Bidirectional LSTM-CRF Models for Sequence Taggingcited by 546
- 2017DeepXplore: Automated Whitebox Testing of Deep Learning Systemscited by 311
- 2017A Semantic Loss Function for Deep Learning with Symbolic Knowledgecited by 270
- 2018DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systemscited by 147
- 2016Harnessing Deep Neural Networks with Logic Rulescited by 135
- 2017An approach to reachability analysis for feed-forward ReLU neural networkscited by 127
- 2015Should we really use post-hoc tests based on mean-ranks?cited by 116
- 2017Logic Tensor Networks for Semantic Image Interpretationcited by 92
- 2016Label-Free Supervision of Neural Networks with Physics and Domain Knowledgecited by 74
- 2020Coherent Hierarchical Multi-Label Classification Networkscited by 65
- 2019Augmenting Neural Networks with First-order Logiccited by 51
5 more
- 2017A scikit-based Python environment for performing multi-label classificationcited by 24
- 2014Learning Deep Structured Modelscited by 21
- 2017DeepGO: Predicting protein functions from sequence and interactions using a deep ontology-aware classifiercited by 20
- 2019Collaboration based Multi-Label Learningcited by 11
- 2019Asynchronous Distributed Learning from Constraintscited by 1
Built on by
Citing papers per year: 2021: 1; 2022: 9; 2023: 8; 2024: 7; 2025: 9; 2026: 2.
36 papers.
Sort:
By area:
- 2022Semantic Probabilistic Layers for Neuro-Symbolic Learningcited by 103
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inferencecited by 50
- 2022Deep Learning with Logical Constraintscited by 44
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 35
- 2022ROAD-R: The Autonomous Driving Dataset with Logical Requirementscited by 34
- 2023Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentationcited by 29
- 2024How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Datacited by 29
- 2023A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraintscited by 22
- 2025Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraintscited by 18
- 2023LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoningcited by 17
- 2025ENFORCE: Nonlinear Constrained Learning with Adaptive-depth Neural Projectioncited by 17
- 2023Semantic Strengthening of Neuro-Symbolic Learningcited by 12
24 more
- 2022Refining neural network predictions using background knowledgecited by 11
- 2021Expert Knowledge-Guided Length-Variant Hierarchical Label Generation for Proposal Classificationcited by 9
- 2022Hierarchical Interdisciplinary Topic Detection Model for Research Proposal Classificationcited by 8
- 2023Machine Learning with Requirements: a Manifestocited by 8
- 2024EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logiccited by 6
- 2022Who Should Review Your Proposal? Interdisciplinary Topic Path Detection for Research Proposalscited by 4
- 2024Exploiting T-norms for Deep Learning in Autonomous Drivingcited by 4
- 2023LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraintscited by 3
- 2023ConSequence: Synthesizing Logically Constrained Sequences for Electronic Health Record Generationcited by 3
- 2024Semantic Loss Functions for Neuro-Symbolic Structured Predictioncited by 3
- 2025ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Searchcited by 3
- 2025T-ILR: a Neurosymbolic Integration for LTLfcited by 3
- 2025Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AIcited by 3
- 2023The Integer Linear Programming Inference Cookbookcited by 2
- 2024PiShield: A PyTorch Package for Learning with Requirementscited by 2
- 2024Informed deep hierarchical classification: a non-standard analysis inspired approachcited by 2
- 2025Hierarchy-Consistent Learning and Adaptive Loss Balancing for Hierarchical Multi-Label Classificationcited by 2
- 2024ROAD-Waymo: A Large-Scale Action Awareness Dataset for Autonomous Drivingcited by 1
- 2025Deep Generative Models with Hard Linear Equality Constraintscited by 1
- 2026A neurosymbolic Approach with Epistemic Deep Learning for Hierarchical Image Classificationcited by 1
- 2022Ranking hierarchical multi-label classification results with mLPRscited by 0
- 2025Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learningcited by 0
- 2025Neurosymbolic Deep Learning Semanticscited by 0
- 2026Formal Concept Lattices are Good Semantic Scaffolds for Concept-Based Learningcited by 0
- 2026Formal Concept Lattices are Good Semantic Scaffolds for Concept-Based Learning3 Jun 2026
- 2026A neurosymbolic Approach with Epistemic Deep Learning for Hierarchical Image Classification11 May 2026
- 2025Neurosymbolic Deep Learning Semantics4 Nov 2025
- 2025Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI29 Oct 2025
- 2025Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning22 Aug 2025
- 2025T-ILR: a Neurosymbolic Integration for LTLf21 Aug 2025
- 2025Hierarchy-Consistent Learning and Adaptive Loss Balancing for Hierarchical Multi-Label Classification19 Aug 2025
- 2025ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search11 Jun 2025
- 2025Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints25 Feb 2025
- 2025ENFORCE: Nonlinear Constrained Learning with Adaptive-depth Neural Projection10 Feb 2025
- 2025Deep Generative Models with Hard Linear Equality Constraints8 Feb 2025
- 2024ROAD-Waymo: A Large-Scale Action Awareness Dataset for Autonomous Driving3 Nov 2024
24 more
- 2024Informed deep hierarchical classification: a non-standard analysis inspired approach25 Sep 2024
- 2024EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic15 Aug 2024
- 2024Semantic Loss Functions for Neuro-Symbolic Structured Prediction12 May 2024
- 2024PiShield: A PyTorch Package for Learning with Requirements28 Feb 2024
- 2024Exploiting T-norms for Deep Learning in Autonomous Driving17 Feb 2024
- 2024How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data7 Feb 2024
- 2023ConSequence: Synthesizing Logically Constrained Sequences for Electronic Health Record Generation10 Dec 2023
- 2023A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints6 Dec 2023
- 2023LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints27 Sep 2023
- 2023LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning24 Sep 2023
- 2023Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation24 Aug 2023
- 2023The Integer Linear Programming Inference Cookbook30 Jun 2023
- 2023Machine Learning with Requirements: a Manifesto7 Apr 2023
- 2023Semantic Strengthening of Neuro-Symbolic Learning28 Feb 2023
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference23 Dec 2022
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing28 Oct 2022
- 2022ROAD-R: The Autonomous Driving Dataset with Logical Requirements4 Oct 2022
- 2022Hierarchical Interdisciplinary Topic Detection Model for Research Proposal Classification16 Sep 2022
- 2022Refining neural network predictions using background knowledge10 Jun 2022
- 2022Semantic Probabilistic Layers for Neuro-Symbolic Learning1 Jun 2022
- 2022Ranking hierarchical multi-label classification results with mLPRs16 May 2022
- 2022Deep Learning with Logical Constraints1 May 2022
- 2022Who Should Review Your Proposal? Interdisciplinary Topic Path Detection for Research Proposals7 Mar 2022
- 2021Expert Knowledge-Guided Length-Variant Hierarchical Label Generation for Proposal Classification14 Sep 2021
- 2022Semantic Probabilistic Layers for Neuro-Symbolic Learningcited by 103
- 2022Deep Learning with Logical Constraintscited by 44
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 35
- 2022ROAD-R: The Autonomous Driving Dataset with Logical Requirementscited by 34
- 2023Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentationcited by 29
- 2024How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Datacited by 29
- 2023A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraintscited by 22
- 2025Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraintscited by 18
- 2023LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoningcited by 17
- 2025ENFORCE: Nonlinear Constrained Learning with Adaptive-depth Neural Projectioncited by 17
- 2023Semantic Strengthening of Neuro-Symbolic Learningcited by 12
- 2022Refining neural network predictions using background knowledgecited by 11
12 most cited of 33 All 33 (JSON)
- 2026Formal Concept Lattices are Good Semantic Scaffolds for Concept-Based Learning3 Jun 2026
- 2026A neurosymbolic Approach with Epistemic Deep Learning for Hierarchical Image Classification11 May 2026
- 2025Neurosymbolic Deep Learning Semantics4 Nov 2025
- 2025T-ILR: a Neurosymbolic Integration for LTLf21 Aug 2025
- 2025Hierarchy-Consistent Learning and Adaptive Loss Balancing for Hierarchical Multi-Label Classification19 Aug 2025
- 2025ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search11 Jun 2025
- 2025Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints25 Feb 2025
- 2025ENFORCE: Nonlinear Constrained Learning with Adaptive-depth Neural Projection10 Feb 2025
- 2025Deep Generative Models with Hard Linear Equality Constraints8 Feb 2025
- 2024ROAD-Waymo: A Large-Scale Action Awareness Dataset for Autonomous Driving3 Nov 2024
- 2024Informed deep hierarchical classification: a non-standard analysis inspired approach25 Sep 2024
- 2024EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic15 Aug 2024
12 newest of 33 All 33 (JSON)