Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees
DGX agentarXiv:2608.17070v1 Announce Type: new Abstract: With the growing deployment of machine learning models, formal guarantees of the robustness and fairness of these models have become increasingly import