Neural Interactive Proofs - Hammond, Lewis; Adam-Day, Sam (International Conference on Learning Representations, 2025)