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