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