Vasily Ilin's picture

Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a Space 20 minutes ago

uw-math-ai/theorem-search

updated a Space about 14 hours ago

Vilin97/VeriDeepResearch

updated a dataset 5 days ago

Vilin97/Clawristotle-Logs

View all activity

Organizations

Papers 4

arxiv:2603.15929

arxiv:2602.05216

arxiv:2602.02990

arxiv:2502.03629

spaces 1

VeriDeepResearch

Verified Deep Research powered by Lean 4

models 0

None public yet

datasets 2

Vilin97/Clawristotle-Logs

Viewer • Updated 5 days ago • 378 • 5

Vilin97/KilterBoard

Updated Jul 15, 2025 • 45 • 1