research
∙
06/27/2022
PARTICUL: Part Identification with Confidence measure using Unsupervised Learning
In this paper, we present PARTICUL, a novel algorithm for unsupervised l...
share
research
∙
06/07/2022
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
We present CAISAR, an open-source platform under active development for ...
research
∙
05/17/2021
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
The impressive results of modern neural networks partly come from their ...
research
∙
11/25/2019