Introducing models that prove their own correctness via an Interactive Proof, and how to learn such models.

We show how to efficiently verify approximate optimaility of smooth policies and strategies in bandits and games

We demonstrate an efficient interactive verification protocol that allows resource-constrained parties to trust and reliably check the quality of expensive attribution models provided by powerful, untrusted parties.