Login / Signup
Tal Herman
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Formal Proofs
User Friendly
Theorem Prover
Spatial Distribution
Top Venues
Electron. Colloquium Comput. Complex.
STOC
FOCS
</>
Publications
</>
Tal Herman
,
Guy N. Rothblum
Interactive Proofs for General Distribution Properties.
Electron. Colloquium Comput. Complex.
(2024)
Tal Herman
,
Guy N. Rothblum
Doubley-Efficient Interactive Proofs for Distribution Properties.
FOCS
(2023)
Tal Herman
,
Guy N. Rothblum
Doubly-Efficient Interactive Proofs for Distribution Properties.
Electron. Colloquium Comput. Complex.
(2023)
Tal Herman
,
Guy N. Rothblum
Verifying The Unseen: Interactive Proofs for Label-Invariant Distribution Properties.
Electron. Colloquium Comput. Complex.
(2022)
Tal Herman
,
Guy N. Rothblum
Verifying the unseen: interactive proofs for label-invariant distribution properties.
STOC
(2022)