57 citations · 144 across the 48 of their papers we have counts for
1 paper · 2 filters
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…