Vasily Ilin
Vilin97
AI & ML interests
AI for Math
Recent Activity
updated a Space about 3 hours ago
uw-math-ai/theorem-search upvoted a paper 9 days ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics submitted a paper 9 days ago
Lean Pool: An AI-Maintained Archive of Formalized MathematicsOrganizations
