Tal Herman

According to our database, Tal Herman authored at least 8 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Interactive proof systems for FARNESS.

Oded Goldreich, Tal Herman, Guy N. Rothblum

Electron. Colloquium Comput. Complex., 2025

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

Tal Herman, Guy N. Rothblum

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

Proving Natural Distribution Properties is Harder than Testing Them.

Tal Herman, Guy N. Rothblum

Proceedings of the 66th IEEE Annual Symposium on Foundations of Computer Science, 2025

2024

Interactive Proofs for General Distribution Properties.

Tal Herman, Guy N. Rothblum

Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024

Public Coin Interactive Proofs for Label-Invariant Distribution Properties.

Tal Herman

Proceedings of the Approximation, 2024

2023

Doubly-Efficient Interactive Proofs for Distribution Properties.

Tal Herman, Guy N. Rothblum

Electron. Colloquium Comput. Complex., 2023

Doubley-Efficient Interactive Proofs for Distribution Properties.

Tal Herman, Guy N. Rothblum

Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023

2022

Verifying the unseen: interactive proofs for label-invariant distribution properties.

Tal Herman, Guy N. Rothblum

Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022