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