Vasily Ilin's picture

5 6 6

Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a dataset 1 day ago

uw-math-ai/theorem-search-dataset-permissive

authored a paper 2 days ago

Semantic Search over 9 Million Mathematical Theorems

updated a Space 6 days ago

uw-math-ai/theorem-search

View all activity

Organizations

authored a paper 2 days ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published 10 days ago • 19

submitted 2 papers to Daily Papers 9 days ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published 10 days ago • 19

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published 12 days ago • 27

authored 2 papers 10 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 12 days ago • 27