Hugging Face's logo
Vasily Ilin's picture

Vasily Ilin

Vilin97
10 13 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

updated a Space 23 days ago
uw-math-ai/theorem-search
upvoted a paper about 1 month ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
submitted a paper about 1 month ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
View all activity

Organizations

University of Washington Math AI Lab's profile picture