research
∙
06/23/2023
QNNRepair: Quantized Neural Network Repair
We present QNNRepair, the first method in the literature for repairing q...
share
research
∙
11/24/2022
AIREPAIR: A Repair Platform for Neural Networks
We present AIREPAIR, a platform for repairing neural networks. It featur...
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
