activity
20192025
most citedDeep Learning with Logical Constraints

39 citations · 150 across the 14 of their papers we have counts for

collaborators

15 papers

cs.LG2025★ 1 cited

A Survey on Deep Learning Approaches for Tabular Data Generation: Utility, Alignment, Fidelity, Privacy, Diversity, and Beyond

Mihaela Cătălina Stoian, Eleonora Giunchiglia, Thomas Lukasiewicz

Generative modelling has become the standard approach for synthesising tabular data. However, different use cases demand synthetic data to comply with different requirements to be…

cs.LG2025★ 1 cited

Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints

Mihaela Cătălina Stoian, Eleonora Giunchiglia

Synthetic tabular data generation has traditionally been a challenging problem due to the high complexity of the underlying distributions that characterise this type of data. Despi…

cs.CV2024

ROAD-Waymo: A Large-Scale Action Awareness Dataset for Autonomous Driving

Salman Khan, Izzeddin Teeti, Reza Javanmard Alitappeh +5

Autonomous Vehicle (AV) perception systems require more than simply seeing, via e.g., object detection or scene segmentation. They need a holistic understanding of what is happenin…

cs.LG2024

Deep generative models as an adversarial attack strategy for tabular machine learning

Salijona Dyrmishi, Mihaela Cătălina Stoian, Eleonora Giunchiglia +1

Deep Generative Models (DGMs) have found application in computer vision for generating adversarial examples to test the robustness of machine learning (ML) systems. Extending these…

cs.LG2024

Exploiting T-norms for Deep Learning in Autonomous Driving

Mihaela Cătălina Stoian, Eleonora Giunchiglia, Thomas Lukasiewicz

Deep learning has been at the core of the autonomous driving field development, due to the neural networks' success in finding patterns in raw data and turning them into accurate p…

cs.LG2024★ 3 cited

How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data

Mihaela Cătălina Stoian, Salijona Dyrmishi, Maxime Cordy +2

Deep Generative Models (DGMs) have been shown to be powerful tools for generating tabular data, as they have been increasingly able to capture the complex distributions that charac…

cs.LG2024

PiShield: A PyTorch Package for Learning with Requirements

Mihaela Cătălina Stoian, Alex Tatomir, Thomas Lukasiewicz +1

Deep learning models have shown their strengths in various application domains, however, they often struggle to meet safety requirements for their outputs. In this paper, we introd…

cs.LG2023

Machine Learning with Requirements: a Manifesto

Eleonora Giunchiglia, Fergus Imrie, Mihaela van der Schaar +1

In the recent years, machine learning has made great advancements that have been at the root of many breakthroughs in different application domains. However, it is still an open is…

cs.LG2022★ 21 cited

ROAD-R: The Autonomous Driving Dataset with Logical Requirements

Eleonora Giunchiglia, Mihaela Cătălina Stoian, Salman Khan +2

Neural networks have proven to be very powerful at computer vision tasks. However, they often exhibit unexpected behaviours, violating known requirements expressing background know…

cs.AI2022★ 39 cited

Deep Learning with Logical Constraints

Eleonora Giunchiglia, Mihaela Catalina Stoian, Thomas Lukasiewicz

In recent years, there has been an increasing interest in exploiting logically specified background knowledge in order to obtain neural models (i) with a better performance, (ii) a…

cs.LG2021★ 31 cited

Multi-Label Classification Neural Networks with Hard Logical Constraints

Eleonora Giunchiglia, Thomas Lukasiewicz

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 hierar…

cs.LG2020★ 11 cited

Coherent Hierarchical Multi-Label Classification Networks

Eleonora Giunchiglia, Thomas Lukasiewicz

Hierarchical multi-label classification (HMC) is a challenging classification task extending standard multi-label classification problems by imposing a hierarchy constraint on the…

cs.CL2020★ 7 cited

The Struggles of Feature-Based Explanations: Shapley Values vs. Minimal Sufficient Subsets

Oana-Maria Camburu, Eleonora Giunchiglia, Jakob Foerster +2

For neural models to garner widespread public trust and ensure fairness, we must have human-intelligible explanations for their predictions. Recently, an increasing number of works…

cs.CL2020

Knowledge Graph Extraction from Videos

Louis Mahon, Eleonora Giunchiglia, Bowen Li +1

Nearly all existing techniques for automated video annotation (or captioning) describe videos using natural language sentences. However, this has several shortcomings: (i) it is ve…

cs.CL2019★ 36 cited

Can I Trust the Explainer? Verifying Post-hoc Explanatory Methods

Oana-Maria Camburu, Eleonora Giunchiglia, Jakob Foerster +2

For AI systems to garner widespread public acceptance, we must develop methods capable of explaining the decisions of black-box models such as neural networks. In this work, we ide…