Tal Herman

PhD Student

I am a fourth year PhD student in the Department of Computer Science and Applied Mathematics at the Weizmann Institute of Science under the supervision of prof. Guy Rothblum. My main research interests are property testing, distribution testing, and interactive proofs.

Publications

How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions

Tal Herman, Guy Rothblum

Under Submission

Interactive Proofs for General Distribution Properties

Tal Herman, Guy Rothblum

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

Tal Herman, Guy Rothblum

IEEE Symposium on Foundations of Computer Science (FOCS), November 2023.

Verifying The Unseen: Interactive Proofs for Label-Invariant Distribution Properties

Tal Herman, Guy Rothblum

ACM Symposium on the Theory of Computing (STOC), June 2022.