firstbacksecondback
2 Results
|
Workshop
|
Models That Prove Their Own Correctness Noga Amit · Shafi Goldwasser · Orr Paradise · Guy Rothblum |
||
|
Workshop
|
Neural Interactive Proofs Lewis Hammond · Sam Adam-Day |