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