Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
9.2
TFLOPS
6
7
7
Vasily Ilin
Vilin97
Follow
sgvtc's profile picture
rawll's profile picture
2 followers
·
14 following
https://vilin97.github.io/
IlinVasily29521
Vilin97
vasilyilin
AI & ML interests
AI for Math
Recent Activity
updated
a Space
about 19 hours ago
Vilin97/VeriDeepResearch
updated
a dataset
2 days ago
Vilin97/Clawristotle-Logs
published
a dataset
2 days ago
Vilin97/Clawristotle-Logs
View all activity
Organizations
Vilin97
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a model
22 days ago
inclusionAI/LLaDA2.1-mini
Text Generation
•
16B
•
Updated
5 days ago
•
42.5k
•
104
liked
2 datasets
about 1 month ago
uw-math-ai/theorem-search-dataset
Viewer
•
Updated
30 days ago
•
2.89M
•
215
•
23
uw-math-ai/APRIL
Preview
•
Updated
22 days ago
•
121
•
7
liked
a Space
about 2 months ago
Running
on
CPU Upgrade
11
Theorem Search
📚
11
Find math theorems faster.
liked
2 Spaces
3 months ago
Running
on
CPU Upgrade
7.16k
MTEB Leaderboard
🥇
7.16k
Embedding Leaderboard
Running
12
Lean Finder
👁
12
Code search for Lean 4
liked
a model
12 months ago
ruc-ai4math/LeanStateSearch2025.3
Sentence Similarity
•
67M
•
Updated
Mar 11, 2025
•
2
•
1