Vasily Ilin's picture

Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a dataset 2 days ago

uw-math-ai/grothendieck-vanishing-logs

published a dataset 2 days ago

uw-math-ai/grothendieck-vanishing-logs

updated a dataset 17 days ago

uw-math-ai/theorem-search-dataset

View all activity

Organizations

Vilin97 's models

None public yet