一作NeurIPS 2026Poster
Certified but Private: Scalable Zero-Knowledge Proofs for the Formal Verification of Neural Networks
Youwei Zhong · Ben Merbaum · Timos Antonopoulos · Ning Luo · CHARALAMPOS PAPAMANTHOU · Katerina Sotiraki · Ruzica Piskac
检索与知识OpenReview