Full Professor, University of California, Berkeley
2 papers at NeurIPS 2025
WhAM: a transformer model unifying generation, acoustic translation and classification of sperm whale vocalizations
Introducing models that prove their own correctness via an Interactive Proof, and how to learn such models.