9 citations · 21 across the 5 of their papers we have counts for
1 paper · 2 filters
Yichen Yang, Martin Rinard
We present a novel framework for specifying and verifying correctness globally for neural networks on perception tasks. Most previous works on neural network verification for perce…