ML Anthology

Herman, Tal

1 publications

ICLR 2025 How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions Tal Herman, Guy N. Rothblum