Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

upvoted an article 11 days ago

Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident

upvoted a paper about 1 month ago

TheoremGraph: Bridging Formal and Informal Mathematics

submitted a paper about 1 month ago

TheoremGraph: Bridging Formal and Informal Mathematics

View all activity

Organizations

liked a model 5 months ago

inclusionAI/LLaDA2.1-mini

Text Generation • 16B • Updated Apr 13 • 108k • 123

liked 2 datasets 6 months ago

uw-math-ai/theorem-search-dataset

Viewer • Updated Feb 20 • 2.89M • 299 • 24

uw-math-ai/APRIL

Preview • Updated Feb 27 • 264 • 10

liked a Space 6 months ago

Theorem Search

Find math theorems faster.

liked a Space 7 months ago

MTEB Leaderboard

Embedding Leaderboard

liked a Space 8 months ago

Lean Finder

Code search for Lean 4

liked a model over 1 year ago

ruc-ai4math/LeanStateSearch2025.3

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