Neural Interactive Proofs

12 December 2024

Papers citing "Neural Interactive Proofs"

2 / 2 papers shown

Title
Open Challenges in Multi-Agent Security: Towards Secure Systems of Interacting AI Agents Christian Schroeder de Witt AAML AI4CE 46 0 0 04 May 2025
Models That Prove Their Own Correctness Noga Amit S. Goldwasser Orr Paradise G. Rothblum LRM 23 2 0 24 May 2024