Models That Prove Their Own Correctness

Download PDF
Open Webpage

Noga Amit, Orr Paradise, Guy N. Rothblum, Shafi Goldwasser

Published: 01 Jan 2024, Last Modified: 16 May 2025Electron. Colloquium Comput. Complex. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0