Vasily Ilin

Vilin97's activity

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

upvoted a paper 7 days ago

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

Paper • 2604.20796 • Published 9 days ago • 237

updated a Space 14 days ago

Running

15

Theorem Search

📚

15

Find math theorems faster.

upvoted a paper 30 days ago

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

Paper • 2603.25832 • Published Mar 26 • 4

commented a paper 30 days 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 about 1 month ago

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

Paper • 2603.25832 • Published Mar 26 • 4

updated a Space about 1 month ago

Running

VeriDeepResearch

🧠

Verified Deep Research powered by Lean 4

updated a dataset about 1 month ago

Vilin97/Clawristotle-Logs

Viewer • Updated Mar 19 • 378 • 9

published a dataset about 1 month ago

Vilin97/Clawristotle-Logs

Viewer • Updated Mar 19 • 378 • 9

authored a paper about 1 month ago

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

Paper • 2603.15929 • Published Mar 16 • 15

published a Space about 1 month ago

Running

VeriDeepResearch

🧠

Verified Deep Research powered by Lean 4

upvoted a paper about 1 month ago

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

Paper • 2603.15929 • Published Mar 16 • 15

submitted a paper to Daily Papers about 1 month ago

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

Paper • 2603.15929 • Published Mar 16 • 15

updated a model 2 months ago

uw-math-ai/gAPRIL-w-exp

Text Generation • 8B • Updated Mar 2 • 13 • 2

published a model 2 months ago

uw-math-ai/gAPRIL-w-exp

Text Generation • 8B • Updated Mar 2 • 13 • 2

liked a model 2 months ago

inclusionAI/LLaDA2.1-mini

Text Generation • 16B • Updated 18 days ago • 13.6k • 115

updated a dataset 2 months ago

uw-math-ai/theorem-search-dataset

Viewer • Updated Feb 20 • 2.89M • 180 • 23

updated a dataset 3 months ago

uw-math-ai/theorem-search-dataset-permissive

Viewer • Updated Feb 13 • 2.68M • 40

authored a paper 3 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 22

upvoted a paper 3 months ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

Paper • 2512.17260 • Published Dec 19, 2025 • 52

submitted a paper to Daily Papers 3 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 22