Hugging Face's logo
Vasily Ilin's picture

Vasily Ilin

Vilin97
9 11 7
simku22's profile picture rawll's profile picture sgvtc's profile picture
·
https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

upvoted a paper about 20 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics
submitted a paper about 20 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics
upvoted an article 1 day ago
DiScoFormer: One transformer for density and score, across distributions
View all activity

Organizations

University of Washington Math AI Lab's profile picture