Vasily Ilin
Vilin97
AI & ML interests
AI for Math
Recent Activity
upvoted a paper 1 day ago
TheoremGraph: Bridging Formal and Informal Mathematics submitted a paper 1 day ago
TheoremGraph: Bridging Formal and Informal Mathematics upvoted an article 2 days ago
DiScoFormer: One transformer for density and score, across distributionsOrganizations
