FastCert

New methods enhance neural network verification with proof sharing and zero-knowledge proofs

Researchers are exploring new methods to verify the robustness and fairness of neural networks, particularly for applications in critical domains. One approach, FastCert, systematically studies and optimizes template-ba…