Search papers, labs, and topics across Lattice.
Affiliation:
2
0
4
6
Tighter verification bounds for neural networks could finally enable safe deployment in critical systems, challenging the limitations of current relaxation methods.
