research
∙
04/07/2023
Machine Learning with Requirements: a Manifesto
In the recent years, machine learning has made great advancements that h...
share
research
∙
10/04/2022
ROAD-R: The Autonomous Driving Dataset with Logical Requirements
Neural networks have proven to be very powerful at computer vision tasks...
research
∙
05/01/2022
Deep Learning with Logical Constraints
In recent years, there has been an increasing interest in exploiting log...
research
∙
03/24/2021
Multi-Label Classification Neural Networks with Hard Logical Constraints
Multi-label classification (MC) is a standard machine learning problem i...
research
∙
10/20/2020
Coherent Hierarchical Multi-Label Classification Networks
Hierarchical multi-label classification (HMC) is a challenging classific...
research
∙
09/23/2020
The Struggles of Feature-Based Explanations: Shapley Values vs. Minimal Sufficient Subsets
For neural models to garner widespread public trust and ensure fairness,...
research
∙
07/20/2020