Interactive Proofs for General Distribution Properties.

Tal Herman Guy N. Rothblum

Published in: Electron. Colloquium Comput. Complex. (2024)

Keyphrases

special case
computer vision
uniformly distributed
neural network
closely related
structural properties
desirable properties
machine learning
artificial intelligence
lower bound
probability distribution
user interaction
data distribution
theorem prover
input pattern
formal proofs