Hugging Face's logo
Vasily Ilin's picture
8 9 7

Vasily Ilin

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

AI & ML interests

AI for Math

Recent Activity

updated a dataset about 21 hours ago
uw-math-ai/theorem-search-dataset
upvoted a paper 14 days ago
LLaDA2.0-Uni: Unifying Multimodal Understanding and Generation with Diffusion Large Language Model
updated a Space 21 days ago
uw-math-ai/theorem-search
View all activity

Organizations

University of Washington Math AI Lab's profile picture