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

Tal Herman, Guy N. Rothblum

Browse the full ICLR paper archive.