Arnav Mehta

According to our database¹, Arnav Mehta authored at least 4 papers between 2025 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

LeanTutor: Towards a Verified AI Mathematical Proof Tutor.

[BibT_eX]

[DOI]

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs.

[BibT_eX]

[DOI]

CoRR, June, 2025

Learning collective variables that preserve transition rates.

[BibT_eX]

[DOI]

Shashank Sule

Arnav Mehta

Maria K. Cameron

CoRR, June, 2025

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

[BibT_eX]

[DOI]

Proceedings of the 2025 IEEE International Conference on Acoustics, 2025

Arnav Mehta

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...