Search papers, labs, and topics across Lattice.
2
0
3
Get probabilistic safety guarantees for compressed neural networks with SimCert, a new framework that beats state-of-the-art verification methods.
By pinpointing neurons actively causing verification failures, DRG-BaB transforms blind Branch-and-Bound search into a targeted refinement process that slashes verification time.
