7 citations · 19 across the 18 of their papers we have counts for
4 papers · 1 filter
Consensus Sampling for Safer Generative AI
Adam Tauman Kalai, Yael Tauman Kalai, Or Zamir
Motivated by undetectable risks in generative AI, we study a general robust aggregation problem: how to aggregate several probability distributions to boost safety. We present cons…
Efficiently Batching Unambiguous Interactive Proofs
Bonnie Berger, Rohan Goyal, Matthew M. Hong +1
We show that if a language admits a public-coin unambiguous interactive proof (UIP) with round complexity , where bits are communicated per round, then the batch lang…
Compiling Any into a (Succinct) Classical Interactive Argument
Andrew Huang, Yael Tauman Kalai
We present a generic compiler that converts any protocol into a succinct interactive argument where the communication and the verifier are classical, and where p…
Parallel Repetition for Post-Quantum Arguments
Andrew Huang, Yael Tauman Kalai
In this work, we show that parallel repetition of public-coin interactive arguments reduces the soundness error at an exponential rate even in the post-quantum setting. Moreover, w…