Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Vilin97 (Vasily Ilin)
[go: Go Back, main page]
Hugging Face's logo
Vasily Ilin's picture
5 6 6

Vasily Ilin

Vilin97
·
https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a Space about 4 hours ago
uw-math-ai/theorem-search
updated a dataset about 6 hours ago
uw-math-ai/theorem-search-dataset
updated a dataset 6 days ago
uw-math-ai/theorem-search-dataset-permissive
View all activity

Organizations

University of Washington Math AI Lab's profile picture