Search papers, labs, and topics across Lattice.
1
0
Achieve tighter neural network verification bounds without sacrificing scalability by strategically applying multi-neuron relaxation to only the most critical neurons.
