Arnav Mehta

According to our database, Arnav Mehta authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, June, 2025

Learning collective variables that preserve transition rates.

Shashank Sule, Arnav Mehta, Maria K. Cameron

CoRR, June, 2025

MARS6: A Small and Robust Hierarchical-Codec Text-to-Speech Model.

Matthew Baas, Pieter Scholtz, Arnav Mehta, Elliott Dyson, Akshat Prakash, Herman Kamper

Proceedings of the 2025 IEEE International Conference on Acoustics, 2025