TY  - RPRT
TI  - Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees
AU  - Youwei Zhong
AU  - Ben Merbaum
AU  - Timos Antonopoulos
AU  - Ning Luo
AU  - Charalampos Papamanthou
AU  - Katerina Sotiraki
AU  - Ruzica Piskac
PY  - 2026
UR  - https://arxiv.org/abs/2608.17070
ID  - 2608.17070
ER  -