Constant-Round Arguments from One-Way Functions. - Noga Amit; Guy N. Rothblum (Electron. Colloquium Comput. Complex., 2023)

Models That Prove Their Own Correctness. - Noga Amit; Orr Paradise; Guy N. Rothblum; Shafi Goldwasser (Electron. Colloquium Comput. Complex., 2024)

Constant-Round Arguments for Batch-Verification and Bounded-Space Computations from One-Way Functions. - Noga Amit; Guy N. Rothblum (Electron. Colloquium Comput. Complex., 2024)

Accuracy vs. Accuracy: Computational Tradeoffs Between Classification Rates and Utility. - Noga Amit; Omer Reingold; Guy N. Rothblum (CoRR, 2025)