Vasily Ilin

Vilin97's activity

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

upvoted an article 5 days 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

•

8 days ago

• 410

upvoted a paper about 1 month ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published Jun 24 • 13

submitted a paper to Daily Papers about 1 month ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published Jun 24 • 13

upvoted an article about 1 month ago

view article

Article

DiScoFormer: One transformer for density and score, across distributions

• 

allenai

•

Jun 29

• 6

updated a dataset about 2 months ago

Vilin97/Clawristotle-Logs

Viewer • Updated Jun 11 • 378 • 30

published a dataset 2 months ago

uw-math-ai/math-graph

Viewer • Updated Jun 28 • 16.1M • 300 • 9

updated a dataset 2 months ago

uw-math-ai/grothendieck-vanishing-logs

Viewer • Updated May 21 • 53.7k • 39

published a dataset 2 months ago

uw-math-ai/grothendieck-vanishing-logs

Viewer • Updated May 21 • 53.7k • 39

updated a dataset 3 months ago

uw-math-ai/theorem-search-dataset

Viewer • Updated Feb 20 • 2.89M • 260 • 24

upvoted a paper 3 months ago

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

Paper • 2604.20796 • Published Apr 22 • 243

updated a Space 4 months ago

Running

15

Theorem Search

📚

15

Find math theorems faster.

upvoted a paper 4 months ago

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

Paper • 2603.25832 • Published Mar 26 • 4

commented a paper 4 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 4 months ago

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

Paper • 2603.25832 • Published Mar 26 • 4

updated a Space 4 months ago

Sleeping

VeriDeepResearch

🧠

Verified Deep Research powered by Lean 4

published a dataset 5 months ago

Vilin97/Clawristotle-Logs

Viewer • Updated Jun 11 • 378 • 30

authored a paper 5 months ago

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

Paper • 2603.15929 • Published Mar 16 • 15

published a Space 5 months ago

Sleeping

VeriDeepResearch

🧠

Verified Deep Research powered by Lean 4

upvoted a paper 5 months ago

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

Paper • 2603.15929 • Published Mar 16 • 15

submitted a paper to Daily Papers 5 months ago

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

Paper • 2603.15929 • Published Mar 16 • 15