5 citations · 6 across the 5 of their papers we have counts for
3 papers · 1 filter
QNNRepair: Quantized Neural Network Repair
Xidan Song, Youcheng Sun, Mustafa A. Mustafa +1
We present QNNRepair, the first method in the literature for repairing quantized neural networks (QNNs). QNNRepair aims to improve the accuracy of a neural network model after quan…
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
João Batista P. Matos, Iury Bessa, Edoardo Manino +2
Neural networks are essential components of learning-based software systems. However, their high compute, memory, and power requirements make using them in low resources domains ch…
Verifying Quantized Neural Networks using SMT-Based Model Checking
Luiz Sena, Xidan Song, Erickson Alves +4
Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis. However, concerns ab…