Shafi Goldwasser

Latest

• Models That Prove Their Own Correctness
• Learning Randomized Reductions and Program Properties
• Unsupervised Translation of Emergent Communication
• A Theory of Unsupervised Translation for Understanding Animal Communication