Apple MLR, Apple
2 papers at NeurIPS 2025
Introducing models that prove their own correctness via an Interactive Proof, and how to learn such models.
We show that private vector aggregation can be done with sublinear communication in the two-server setting, with efficient protocols and zero-knowledge proofs.
