Neural Interactive Proofs.

Lewis Hammond, Sam Adam-Day

Browse the full ICLR paper archive.