activity
20142023
most citedIntroducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM

113 citations · 236 across the 18 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 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…