My joint workshop paper Neural Interactive Proofs will be presented at the ICML 2024 Next Generation of AI Safety Workshop.