13 citations · 39 across the 25 of their papers we have counts for
28 papers
How to Verify Probabilistic Consistency of Predictive Models
Orr Paradise, Oliver Richardson, Yoshua Bengio +1
When a probabilistic predictor answers many conditional-probability queries, are its answers self-consistent, and can this be verified in polynomial time? This problem is of intere…
Proofs of Ownership for Machine Learning Models
Ran Canetti, Shafi Goldwasser, Or Zamir
With the increasing adoption of Machine Learning, protecting model ownership has become an essential challenge. We initiate a formal study of Proof of Ownership for machine learnin…
Private Proofs of When and Where
Uma Girish, Greg Gluch, Shafi Goldwasser +3
Position verification schemes are interactive protocols where entities prove their physical location to others; this enables interactive proofs for statements of the form "I am at…
Investigating the Development of Task-Oriented Communication in Vision-Language Models
Boaz Carmeli, Orr Paradise, Shafi Goldwasser +2
We investigate whether \emph{LLM-based agents} can develop task-oriented communication protocols that differ from standard natural language in collaborative reasoning tasks. Our fo…
Efficient Public Verification of Private ML via Regularization
Zoë Ruha Bell, Anvith Thudi, Olive Franzese-McLaughlin +2
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, th…
WhAM: Towards A Translative Model of Sperm Whale Vocalization
Orr Paradise, Pranav Muralikrishnan, Liangyuan Chen +6
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 spe…