Vilin97/KilterBoard
Updated
•
3
•
1
Vasily Ilin
Vilin97
·
AI & ML interests
None yet
Recent Activity
authored
a paper
about 3 hours ago
REALEDIT: Reddit Edits As a Large-scale Empirical Dataset for Image
Transformations
authored
a paper
about 3 hours ago
Learning to Repair Lean Proofs from Compiler Feedback
liked
a dataset
about 13 hours ago
uw-math-ai/theorem-search-dataset
Organizations
