Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a dataset 1 day ago

Vilin97/Vasily-24-hour-gpt-5.6-speedrun-logs

published a dataset 1 day ago

Vilin97/Vasily-24-hour-gpt-5.6-speedrun-logs

upvoted an article 21 days ago

Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident

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 3

Vilin97/Vasily-24-hour-gpt-5.6-speedrun-logs

Updated 1 day ago • 681

Vilin97/Clawristotle-Logs

Viewer • Updated Jun 11 • 378 • 51

Vilin97/KilterBoard

Updated Jul 15, 2025 • 35 • 1