Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

upvoted a paper 1 minute ago

TheoremGraph: Bridging Formal and Informal Mathematics

submitted a paper 1 minute ago

TheoremGraph: Bridging Formal and Informal Mathematics

upvoted an article about 12 hours ago

DiScoFormer: One transformer for density and score, across distributions

View all activity

Organizations

commented a paper 3 months ago

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

Paper • 2603.10874 • Published Mar 11 •

commented a paper 5 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 22 •

New activity in uw-math-ai/APRIL 5 months ago

Add link to paper and ArXiv metadata

#2 opened 5 months ago by

New activity in uw-math-ai/theorem-search 9 months ago

Apply for community grant: Academic project (gpu and storage)

#1 opened 9 months ago by

commented a paper almost 2 years ago

Qwen2.5-Coder Technical Report

Paper • 2409.12186 • Published Sep 18, 2024 • 157 •