research
∙
10/21/2022
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction
Neural networks are a powerful class of non-linear functions. However, t...
share
research
∙
07/09/2022
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
Neural networks are essential components of learning-based software syst...
research
∙
11/25/2021
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
QNNVerifier is the first open-source tool for verifying implementations ...
research
∙
06/10/2021
Verifying Quantized Neural Networks using SMT-Based Model Checking
Artificial Neural Networks (ANNs) are being deployed for an increasing n...
research
∙
12/21/2020