TY  - RPRT
TI  - Neural Interactive Proofs
AU  - Lewis Hammond
AU  - Sam Adam-Day
PY  - 2025
UR  - https://arxiv.org/abs/2412.08897
ID  - 2412.08897
ER  -