Hugging Face's logo
Vasily Ilin's picture
3 4 6

Vasily Ilin

Vilin97
·

AI & ML interests

None yet

Recent Activity

liked a dataset about 6 hours ago
uw-math-ai/theorem-search-dataset
published a dataset about 6 hours ago
uw-math-ai/theorem-search-dataset
updated a dataset about 6 hours ago
uw-math-ai/theorem-search-dataset
View all activity

Organizations

University of Washington Math AI Lab's profile picture