Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

upvoted an article about 11 hours ago

DiScoFormer: One transformer for density and score, across distributions

updated a dataset 19 days ago

Vilin97/Clawristotle-Logs

published a dataset about 1 month ago

uw-math-ai/math-graph

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 19 days ago • 378 • 31

Vilin97/KilterBoard

Updated Jul 15, 2025 • 79 • 1