5 citations · 6 across the 3 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 5 cited
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Xidan Song, Edoardo Manino, Luiz Sena +5
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. The…
cs.LG2021★ 1 cited
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…