Junaid Hasan
Graduate Student
University of Washington
UW Math PhD interested in AI for math (Lean, Autoformalization) and Mechanistic Interpretability (understanding how ML models work).
Interests
- Deep Learning
- Formalization
- Data Science
Education
Masters in Mathematics
University of Washington
Bachelor of Science (Research)
Indian Institute of Science