Hugging Face's logo
Vasily Ilin's picture
6 7 7

Vasily Ilin

Vilin97
rawll's profile picture sgvtc's profile picture
·
https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a Space about 17 hours ago
Vilin97/VeriDeepResearch
updated a Space 3 days ago
uw-math-ai/theorem-search
updated a dataset 8 days ago
Vilin97/Clawristotle-Logs
View all activity

Organizations

University of Washington Math AI Lab's profile picture