Vasily Ilin's picture

Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a dataset 10 days ago

Vilin97/Clawristotle-Logs

published a dataset 25 days ago

uw-math-ai/math-graph

updated a dataset about 1 month ago

uw-math-ai/grothendieck-vanishing-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 10 days ago • 378 • 31

Vilin97/KilterBoard

Updated Jul 15, 2025 • 106 • 1