Tal Herman

I am a Simons-Berkeley Postdoctoral Researcher hosted by prof. Shafi Goldwasser currently at MIT. I completed my PhD at the Department of Computer Science and Applied Mathematics at the Weizmann Institute of Science under the supervision of prof. Guy Rothblum. My research interest is theoretical computer science in general, and in particular, interactive proofs for data science and distribution testing problems, as well as the theoretical aspects of AI.

Publications

Proving Natural Distribution Properties is Harder than Testing Them

With Guy Rothblum

IEEE Symposium on Foundations of Computer Science (FOCS), December 2025.

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

With Guy Rothblum

International Conference on Learning Representations (ICLR), April 2025.

Interactive Proofs for General Distribution Properties

With 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

With Guy Rothblum

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

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

With Guy Rothblum

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