research
∙
05/22/2023
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
Formal certification of Neural Networks (NNs) is crucial for ensuring th...
research
∙
05/20/2022
CertiFair: A Framework for Certified Global Fairness of Neural Networks
We consider the problem of whether a Neural Network (NN) model satisfies...
research
∙
11/17/2021
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
In this paper, we present the tool Fast Box Analysis of Two-Level Lattic...
research
∙
06/18/2020
Effective Formal Verification of Neural Networks using the Geometry of Linear Regions
Neural Networks (NNs) have increasingly apparent safety implications com...
research
∙
10/31/2018