13 citations · 39 across the 25 of their papers we have counts for
4 papers · 1 filter
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…