Neural Interactive Proofs