5 citations · 7 across the 9 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2023
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…
cs.LG2022
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction
Edoardo Manino, Iury Bessa, Lucas Cordeiro
Neural networks are a powerful class of non-linear functions. However, their black-box nature makes it difficult to explain their behaviour and certify their safety. Abstraction te…