Added Neural Interactive Proofs arXiv link

_bibliography/papers.bib

@@ -1,26 +1,28 @@
 ---
 ---
 
-@inproceedings{hammond-adam-day-2024-nip-icml,
+@misc{hammond-adam-day-2024-nip,
   author    = {Hammond, Lewis and Adam-Day, Sam},
   title     = {Neural Interactive Proofs},
   year      = {2024},
   booktitle = {Next Generation of AI Safety Workshop, ICML '24},
-  url       = {https://openreview.net/forum?id=RhEND1litL},
-  html      = {https://openreview.net/forum?id=RhEND1litL},
   bibtex_show   = {true},
+  eprint        = {2412.08897},
+  archiveprefix = {arXiv},
+  primaryclass  = {cs.AI},
+  arxiv         = {2412.08897},
   abstract  = {We consider the problem of how a trusted, but computationally bounded agent (a 'verifier') can learn to interact with one or more powerful but untrusted agents ('provers') in order to solve a given task without being misled. More specifically, we study the case in which agents are represented using neural networks and refer to solutions of this problem as neural interactive proofs. First we introduce a unifying framework based on prover-verifier games (Anil et al., 2021), which generalises previously proposed interaction 'protocols'. We then describe several new protocols for generating neural interactive proofs, and provide a (theoretical) comparison of both new and existing approaches. In so doing, we aim to create a foundation for future work on neural interactive proofs and their application in building safer AI systems.},
   preview       = {nip-schematic.png},
 }
 
 @misc{adam-day-et-al-2024-aas-constant,
   author        = {Sam Adam-Day and Michael Benedikt and İsmail İlkan Ceylan and Ben Finkelshtein},
-  note          = {To appear NeurIPS '24},
+  note          = {To appear in NeurIPS '24},
   howpublished  = {Preprint},
   title         = {Almost Surely Asymptotically Constant Graph Neural Networks},
   year          = {2024},
   bibtex_show   = {true},
-  eprint        = {2307.16600},
+  eprint        = {2403.03880},
   archiveprefix = {arXiv},
   primaryclass  = {cs.LG},
   arxiv         = {2403.03880},