Vasily Ilin

Vilin97's activity

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

upvoted a paper 10 days ago

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

Paper • 2603.25832 • Published 15 days ago • 4

commented a paper 10 days ago

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

Paper • 2603.10874 • Published about 1 month ago •

1

submitted a paper to Daily Papers 10 days ago

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

Paper • 2603.25832 • Published 15 days ago • 4

updated a Space 12 days ago

Sleeping

VeriDeepResearch

🧠

Verified Deep Research powered by Lean 4

updated a Space 18 days ago

Running on CPU Upgrade

15

Theorem Search

📚

15

Find math theorems faster.

updated a dataset 23 days ago

Vilin97/Clawristotle-Logs

Viewer • Updated 23 days ago • 378 • 34

published a dataset 23 days ago

Vilin97/Clawristotle-Logs

Viewer • Updated 23 days ago • 378 • 34

authored a paper 24 days ago

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

Paper • 2603.15929 • Published 25 days ago • 14

published a Space 24 days ago

Sleeping

VeriDeepResearch

🧠

Verified Deep Research powered by Lean 4

upvoted a paper 24 days ago

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

Paper • 2603.15929 • Published 25 days ago • 14

submitted a paper to Daily Papers 24 days ago

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

Paper • 2603.15929 • Published 25 days ago • 14

updated a model about 1 month ago

uw-math-ai/gAPRIL-w-exp

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

published a model about 1 month ago

uw-math-ai/gAPRIL-w-exp

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

liked a model about 1 month ago

inclusionAI/LLaDA2.1-mini

Text Generation • 16B • Updated 26 days ago • 16k • 110

updated 2 datasets about 2 months ago

uw-math-ai/theorem-search-dataset

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

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

Viewer • Updated Feb 13 • 2.68M • 33

authored a paper about 2 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 21

upvoted a paper 2 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 2 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 21

commented a paper 2 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 21 •

4