Vasily Ilin (Preferred)
Vasily Ilin
PhD student, Applied Math, University of Washington
Joined
November 2024
Names
Emails
****@uw.edu (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
PhD student
Applied Math, University of Washington (uw.edu)
2020 – 2026
MS student
Computer Science, Boston University, Boston University (bu.edu)
2019 – 2020
Undergrad student
Mathematics, Boston University, Boston University (bu.edu)
2015 – 2019
Advisors, Relations & Conflicts
Expertise
Lean
2024 – Present
AI for Math
2024 – Present
Automated Theorem Proving
2024 – Present
Mathematical Formalization
2022 – Present
Diffusion models
2024 – 2025
Sampling
2024 – 2025
Landau equation
2023 – 2025
Publications
Co-Authors
- Ajit Mallavarapu
- Artemii Remizov
- Ayana Bharadwaj
- Bamdad Hosseini
- Ben Caffee
- Cheng-Yu Hsieh
- Chris Rackauckas
- Christopher Rackauckas
- Daniel Lee
- Dongping Chen
- Eric Leonen
- Evan Wang
- Giovanni Inchiostro
- Guilherme Augusto Zagatti
- Ignacio Tejeda
- Jarod Alper
- Jingwei Hu
- Luke Alexander
- Mohammadreza Salehi
- Nikhil Yewale
- Niklas Korsbo
- Peter V. Sushko
- Petr Sushko
- Ranjay Krishna
- Samuel A. Isaacson