Vasily Ilin's picture

Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a model 4 days ago

uw-math-ai/gAPRIL-w-exp

published a model 6 days ago

uw-math-ai/gAPRIL-w-exp

liked a model 6 days ago

inclusionAI/LLaDA2.1-mini

View all activity

Organizations

authored a paper 21 days ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published 29 days ago • 21

submitted 2 papers to Daily Papers 28 days ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published 29 days ago • 21

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published about 1 month ago • 29

authored 2 papers 28 days ago

REALEDIT: Reddit Edits As a Large-scale Empirical Dataset for Image Transformations

Paper • 2502.03629 • Published Feb 5, 2025 • 1

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published about 1 month ago • 29