Vasily Ilin

Vilin97's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 1 day ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Paper • 2609.25199 • Published 4 days ago • 12

submitted a paper to Daily Papers 1 day ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Paper • 2609.25199 • Published 4 days ago • 12

upvoted an article about 2 months ago

view article

Article

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

• 
• 
• +2

hlarcher, XciD, raphael-gl, chris-rannou

•

Jul 27

• 506

upvoted a paper 3 months ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published Jun 24 • 12

submitted a paper to Daily Papers 3 months ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published Jun 24 • 12

upvoted an article 3 months ago

view article

Article

DiScoFormer: One transformer for density and score, across distributions

• 

allenai

•

Jun 29

• 6

updated a dataset 4 months ago

Vilin97/Clawristotle-Logs

Viewer • Updated Jun 11 • 378 • 49

published a dataset 4 months ago

uw-math-ai/math-graph

Viewer • Updated Jun 28 • 16.1M • 325 • 10

updated a dataset 4 months ago

uw-math-ai/grothendieck-vanishing-logs

Viewer • Updated May 21 • 53.7k • 68 • 1

published a dataset 4 months ago

uw-math-ai/grothendieck-vanishing-logs

Viewer • Updated May 21 • 53.7k • 68 • 1

updated a dataset 5 months ago

uw-math-ai/theorem-search-dataset

Viewer • Updated Feb 20 • 2.89M • 212 • 25

upvoted a paper 5 months ago

LLaDA2.0-Uni: Unifying Multimodal Understanding and Generation with Diffusion Large Language Model

Paper • 2604.20796 • Published Apr 22 • 107

updated a Space 5 months ago

Running

16

Theorem Search

📚

16

Find math theorems faster.

upvoted a paper 6 months ago

A Neural Score-Based Particle Method for the Vlasov-Maxwell-Landau System

Paper • 2603.25832 • Published Mar 26 • 2

commented a paper 6 months ago

A Physics-Informed, Global-in-Time Neural Particle Method for the Spatially Homogeneous Landau Equation

Paper • 2603.10874 • Published Mar 11 •

1

submitted a paper to Daily Papers 6 months ago

A Neural Score-Based Particle Method for the Vlasov-Maxwell-Landau System

Paper • 2603.25832 • Published Mar 26 • 2

updated a Space 6 months ago

Sleeping

VeriDeepResearch

🧠

Verified Deep Research powered by Lean 4

published a dataset 6 months ago

Vilin97/Clawristotle-Logs

Viewer • Updated Jun 11 • 378 • 49

authored a paper 6 months ago

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

Paper • 2603.15929 • Published Mar 16 • 15

published a Space 6 months ago

Sleeping

VeriDeepResearch

🧠

Verified Deep Research powered by Lean 4