Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
9.2
TFLOPS
8
8
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
updated
a Space
7 days ago
uw-math-ai/theorem-search
upvoted
a
paper
23 days ago
A Neural Score-Based Particle Method for the Vlasov-Maxwell-Landau System
commented
on
a paper
23 days ago
A Physics-Informed, Global-in-Time Neural Particle Method for the Spatially Homogeneous Landau Equation
View all activity
Organizations
Vilin97
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a model
about 2 months ago
inclusionAI/LLaDA2.1-mini
Text Generation
โข
16B
โข
Updated
10 days ago
โข
11.3k
โข
113
liked
2 datasets
3 months ago
uw-math-ai/theorem-search-dataset
Viewer
โข
Updated
Feb 20
โข
2.89M
โข
287
โข
23
uw-math-ai/APRIL
Preview
โข
Updated
Feb 27
โข
285
โข
10
liked
a Space
3 months ago
Running
15
Theorem Search
๐
15
Find math theorems faster.
liked
2 Spaces
4 months ago
Running
on
CPU Upgrade
7.31k
MTEB Leaderboard
๐ฅ
7.31k
Embedding Leaderboard
Running
Agents
12
Lean Finder
๐
12
Code search for Lean 4
liked
a model
about 1 year ago
ruc-ai4math/LeanStateSearch2025.3
Sentence Similarity
โข
67M
โข
Updated
Mar 11, 2025
โข
157
โข
1