no code implementations • 24 May 2024 • Noga Amit, Shafi Goldwasser, Orr Paradise, Guy Rothblum
The *soundness* property of $V$ guarantees that, for *every* input, no model can convince $V$ of the correctness of an incorrect output.
1 code implementation • NeurIPS 2023 • Shafi Goldwasser, David F. Gruber, Adam Tauman Kalai, Orr Paradise
Neural networks are capable of translating between languages -- in some cases even between two languages where there is little or no access to parallel translations, in what is known as Unsupervised Machine Translation (UMT).
no code implementations • 14 Apr 2022 • Shafi Goldwasser, Michael P. Kim, Vinod Vaikuntanathan, Or Zamir
Second, we demonstrate how to insert undetectable backdoors in models trained using the Random Fourier Features (RFF) learning paradigm or in Random ReLU networks.
no code implementations • 17 Apr 2021 • Jacob Andreas, Gašper Beguš, Michael M. Bronstein, Roee Diamant, Denley Delaney, Shane Gero, Shafi Goldwasser, David F. Gruber, Sarah de Haas, Peter Malkin, Roger Payne, Giovanni Petri, Daniela Rus, Pratyusha Sharma, Dan Tchernov, Pernille Tønnesen, Antonio Torralba, Daniel Vogt, Robert J. Wood
We posit that machine learning will be the cornerstone of future collection, processing, and analysis of multimodal streams of data in animal communication studies, including bioacoustic, behavioral, biological, and environmental data.
no code implementations • NeurIPS 2020 • Shafi Goldwasser, Adam Tauman Kalai, Yael Tauman Kalai, Omar Montasser
We present a transductive learning algorithm that takes as input training examples from a distribution $P$ and arbitrary (unlabeled) test examples, possibly chosen by an adversary.
no code implementations • 25 Feb 2020 • Sanjam Garg, Shafi Goldwasser, Prashant Nalini Vasudevan
In particular, we provide a precise definition of what could be (or should be) expected from an entity that collects individuals' data when a request is made of it to delete some of this data.
Cryptography and Security
no code implementations • 1 Jan 2014 • Nir Bitansky, Ran Canetti, Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai, Omer Paneth, Alon Rosen
In particular, we show that indistinguishability obfuscation for all circuits implies: * The impossibility of average-case virtual black box obfuscation with auxiliary input for any circuit family with super-polynomial pseudo-entropy.
Cryptography and Security