Publications
How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions
International Conference on Learning Representations (ICLR), April 2025
Interactive Proofs for General Distribution Properties
IEEE Symposium on Foundations of Computer Science (FOCS), October 2024.
Public Coin Interactive Proofs for Label-Invariant Distribution Properties
Tal Herman
The International Conference on Randomization and Computation (RANDOM), August 2024.
Doubly-Efficient Interactive Proofs for Distribution Properties
IEEE Symposium on Foundations of Computer Science (FOCS), November 2023.
Verifying The Unseen: Interactive Proofs for Label-Invariant Distribution Properties
ACM Symposium on the Theory of Computing (STOC), June 2022.