Postdoc, EPFL - EPF Lausanne
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.