Poster · Atlanta

Certified but Private: Scalable Zero-Knowledge Proofs for the Formal Verification of Neural Networks

Name: Certified but Private: Scalable Zero-Knowledge Proofs for the Formal Verification of Neural Networks
Start: 2026-12-09T10:00:00-05:00
End: 2026-12-09T13:00:00-05:00
Location: Hall C1, Georgia World Congress Center

When: Wed 9 Dec 2026, 10:00–13:00 EST
Where: Hall C1, Georgia World Congress Center
Session: Atlanta Poster Session 1
Authors: Youwei Zhong, Ben Merbaum, Timos Antonopoulos, Ning Luo, CHARALAMPOS PAPAMANTHOU, Katerina Sotiraki, Ruzica Piskac
Organisations: Yale University, University of Illinois Urbana-Champaign
QRS classification: Safety, fairness and privacy

Open in schedule Official page