@misc{indiciae9007270412dc,
  title = {Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees},
  author = {Youwei Zhong and Ben Merbaum and Timos Antonopoulos and Ning Luo and Charalampos Papamanthou and Katerina Sotiraki and Ruzica Piskac},
  year = {2026},
  url = {https://arxiv.org/abs/2608.17070},
  note = {Source identifier: 2608.17070}
}