Search papers, labs, and topics across Lattice.
Affiliation:
1
0
2
PANDA can verify the robustness of neural networks with millions of parameters in minutes, all while keeping model details private.
