ruc-ai4math/LeanStateSearch2025.3
Sentence Similarity
•
67M
•
Updated
•
1
Vasily Ilin
Vilin97
·
AI & ML interests
None yet
Recent Activity
new activity
25 days ago
uw-math-ai/theorem-search:Apply for community grant: Academic project (gpu and storage)
upvoted
a
paper
3 months ago
Beyond Fixed: Variable-Length Denoising for Diffusion Large Language
Models
updated
a dataset
4 months ago
Vilin97/KilterBoard
Organizations
liked
a
model
7 months ago