PhD student, University of California, Berkeley
1 paper at NeurIPS 2025
Introducing models that prove their own correctness via an Interactive Proof, and how to learn such models.
