Sudhir Murthy (Preferred)
Sudhir Murthy
PhD student, Mathematics, University of California, Riverside
Joined
September 2025
Names
Emails
****@ucr.edu (Confirmed)
Personal Links
Career & Education History
PhD student
Mathematics, University of California, Riverside (ucr.edu)
2024 – Present
Advisors, Relations & Conflicts
Expertise
interactive theorem proving
, proof assistants
, Lean
, autoformalization
2024 – Present