activity
20192024
most citedDeep Learning with Logical Constraints

39 citations · 63 across the 8 of their papers we have counts for

collaborators
Showing cs.LGShow all

5 papers · 1 filter

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