MARS6: A Small and Robust Hierarchical-Codec Text-to-Speech Model. - Matthew Baas; Pieter Scholtz; Arnav Mehta; Elliott Dyson; Akshat Prakash; Herman Kamper (ICASSP, 2025)

Learning collective variables that preserve transition rates. - Shashank Sule; Arnav Mehta; Maria K. Cameron (CoRR, 2025)

LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs. - Manooshree Patel; Rayna Bhattacharyya; Thomas Lu; Arnav Mehta; Niels Voss; Narges Norouzi; Gireeja Ranade (CoRR, 2025)