Verifying The Unseen: Interactive Proofs for Label-Invariant Distribution Properties.
Tal HermanGuy N. RothblumPublished in: Electron. Colloquium Comput. Complex. (2022)
Keyphrases
- invariant properties
- user friendly
- desirable properties
- random variables
- computer graphics
- affine transformation
- training set
- training examples
- previously unseen
- topological properties
- invariance properties
- website
- theorem proving
- structural properties
- model checking
- data distribution
- user interaction
- decision trees