Search Results for author:
Found 5 papers, 1 papers with code
QNNRepair: Quantized Neural Network Repair
It accepts the full-precision and weight-quantized neural networks and a repair dataset of passing and failing tests.
AIREPAIR: A Repair Platform for Neural Networks
We present AIREPAIR, a platform for repairing neural networks.
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
Existing quantization techniques tend to degrade the network accuracy.
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
QNNVerifier is the first open-source tool for verifying implementations of neural networks that takes into account the finite word-length (i. e. quantization) of their operands.
Verifying Quantized Neural Networks using SMT-Based Model Checking
Furthermore, for small- to medium-sized ANN, our approach completes most of its verification runs in minutes.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
