Search papers, labs, and topics across Lattice.
1
0
2
Forget expensive verification: training networks to be *trivially* verifiable yields state-of-the-art Lipschitz bounds and adversarial robustness.
