Search papers, labs, and topics across Lattice.
2
0
3
2
Get quantitative safety guarantees with adjustable confidence levels for compressed neural networks, even after aggressive quantization and pruning.
By pinpointing the neurons most responsible for verification failures, DRG-BaB slashes search times in neural network verification, outperforming standard Branch-and-Bound techniques.
