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 4 days ago

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

authored a paper 5 days ago

Semantic Search over 9 Million Mathematical Theorems

updated a Space 8 days ago

uw-math-ai/theorem-search

View all activity

Organizations

liked 2 datasets 13 days ago

uw-math-ai/theorem-search-dataset

Viewer • Updated 11 days ago • 2.89M • 167 • 19

uw-math-ai/APRIL

Preview • Updated 13 days ago • 84 • 4

liked a Space 22 days ago

Theorem Search

Find math theorems faster.

liked a Space about 1 month ago

MTEB Leaderboard

Embedding Leaderboard

liked a Space 2 months ago

Lean Finder

Code search for Lean 4

liked a model 10 months ago

ruc-ai4math/LeanStateSearch2025.3

Sentence Similarity • 67M • Updated Mar 11, 2025 • 1 • 1