Vasily Ilin's picture

Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a Space about 20 hours ago

Vilin97/VeriDeepResearch

updated a Space about 22 hours ago

uw-math-ai/theorem-search

updated a dataset 6 days ago

Vilin97/Clawristotle-Logs

View all activity

Organizations

Vilin97 's datasets 2

Vilin97/Clawristotle-Logs

Viewer • Updated 6 days ago • 378 • 7

Vilin97/KilterBoard

Updated Jul 15, 2025 • 37 • 1