Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
9.2
TFLOPS
8
9
7
Vasily Ilin
Vilin97
Follow
sgvtc's profile picture
rawll's profile picture
2 followers
·
15 following
https://vilin97.github.io/
IlinVasily29521
Vilin97
vasilyilin
AI & ML interests
AI for Math
Recent Activity
published
a dataset
4 days ago
uw-math-ai/math-graph
updated
a dataset
8 days ago
uw-math-ai/grothendieck-vanishing-logs
published
a dataset
8 days ago
uw-math-ai/grothendieck-vanishing-logs
View all activity
Organizations
Vilin97
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a model
3 months ago
inclusionAI/LLaDA2.1-mini
Text Generation
•
16B
•
Updated
Apr 13
•
17.1k
•
122
liked
2 datasets
4 months ago
uw-math-ai/theorem-search-dataset
Viewer
•
Updated
Feb 20
•
2.89M
•
241
•
23
uw-math-ai/APRIL
Preview
•
Updated
Feb 27
•
314
•
10
liked
a Space
4 months ago
Running
15
Theorem Search
📚
15
Find math theorems faster.
liked
2 Spaces
5 months ago
Running
on
CPU Upgrade
7.43k
MTEB Leaderboard
🥇
7.43k
Embedding Leaderboard
Running
Agents
16
Lean Finder
👁
16
Code search for Lean 4
liked
a model
about 1 year ago
ruc-ai4math/LeanStateSearch2025.3
Sentence Similarity
•
67M
•
Updated
Mar 11, 2025
•
6
•
1