Vilin97/KilterBoard
Updated
• 78 • 1
Vasily Ilin
Vilin97
·
AI & ML interests
AI for Math
Recent Activity
updated
a Space 3 days ago
uw-math-ai/theorem-search updated
a dataset 4 days ago
uw-math-ai/theorem-search-dataset updated
a dataset 10 days ago
uw-math-ai/theorem-search-dataset-permissive Organizations
