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