← Search

Shafi Goldwasser

8 accepted papers

2026

Efficient Public Verification of Private ML via Regularization

ICML 2026poster

Training with differential privacy (DP) guarantees dataset members that they cannot be identified by users of the released model. However, those data providers, and, in general, the public, lack methods to efficiently verify that models trained on their data satisfy DP guarantees. The amount of comp…

Cited by 0SourceScholar
2026

Learning Randomized Reductions

ICML 2026spotlight

Randomized self-reductions (RSRs) express $f(x)$ using $f$ evaluated at random correlated points, enabling self-correcting programs, instance-hiding protocols, and applications in complexity theory and cryptography. Yet discovering RSRs has required manual expert derivation for over 40 years, limiti…

Cited by 0SourceScholar
2026

On the Impossibility of Separating Intelligence from Judgment: The Computational Intractability of Filtering for AI Alignment

ICLR 2026poster

With the increased deployment of large language models (LLMs), one concern is their potential misuse for generating harmful content. Our work studies the alignment challenge, with a focus on filters to prevent the generation of unsafe information. Two natural points of intervention are the filtering…

Cited by 0SourcecodeScholar
2025

A Theory for Worst-Case vs. Average-Case Guarantees for LLMs

NeurIPS 2025poster

How can we trust the correctness of a learned model on a particular input of interest? Model accuracy is typically measured *on average* over a distribution of inputs, giving no guarantee for any fixed input. This paper proposes a theoretically-founded solution to this problem: to train *Self-Provin…

Cited by 0SourceScholar
2025

Towards A Translative Model of Sperm Whale Vocalization

NeurIPS 2025poster

Sperm whales communicate in short sequences of clicks known as codas. We present WhAM (Whale Acoustics Model), the first transformer-based model capable of generating synthetic sperm whale codas from any audio prompt. WhAM is built by finetuning VampNet, a masked acoustic token model pretrained on m…

Cited by 0SourcecodeScholar
2025

Unsupervised Translation of Emergent Communication

AAAI 2025technical

Emergent Communication (EC) provides a unique window into the language systems that emerge autonomously when agents are trained to jointly achieve shared goals. However, it is difficult to interpret EC and evaluate its relationship with natural languages (NL). This study employs unsupervised neural…

Cited by 0SourcePDFScholar
2023

A Theory of Unsupervised Translation Motivated by Understanding Animal Communication

NeurIPS 2023poster

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). Given this progress, it is intriguing to ask whether machine learning tools c…

2020

Beyond Perturbations: Learning Guarantees with Arbitrary Adversarial Test Examples

NeurIPS 2020spotlight

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. This is unlike prior work that assumes that test examples are small perturbations of P. Our algorithm outputs a selective…

Cited by 53SourcePDFScholar