ruc-ai4math/LeanStateSearch2025.3
Sentence Similarity
•
Updated
•
10
•
1
Vasily Ilin
Vilin97
·
AI & ML interests
None yet
Recent Activity
liked
a model
13 days ago
ruc-ai4math/LeanStateSearch2025.3
upvoted
a
paper
6 months ago
GPT-4o System Card
commented on
a paper
7 months ago
Qwen2.5-Coder Technical Report
Organizations
None yet
Vilin97's activity
liked
a
model
13 days ago