Search papers, labs, and topics across Lattice.
脡cole polytechnique, Institut Polytechnique de Paris
1
0
2
Guaranteed probabilistic safety bounds can be achieved even with imprecise input distributions and dependence structures in neural network verification.
