Vasily Ilin's picture

Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a Space 7 days ago

uw-math-ai/theorem-search

upvoted a paper 23 days ago

A Neural Score-Based Particle Method for the Vlasov-Maxwell-Landau System

commentedon a paper 23 days ago

A Physics-Informed, Global-in-Time Neural Particle Method for the Spatially Homogeneous Landau Equation

View all activity

Organizations

liked a model about 2 months ago

inclusionAI/LLaDA2.1-mini

Text Generation • 16B • Updated 10 days ago • 11.3k • 113

liked 2 datasets 3 months ago

uw-math-ai/theorem-search-dataset

Viewer • Updated Feb 20 • 2.89M • 287 • 23

uw-math-ai/APRIL

Preview • Updated Feb 27 • 285 • 10

liked a Space 3 months ago

Theorem Search

Find math theorems faster.

liked 2 Spaces 4 months ago

MTEB Leaderboard

Embedding Leaderboard

Lean Finder

Code search for Lean 4

liked a model about 1 year ago

ruc-ai4math/LeanStateSearch2025.3

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