uw-math-ai/theorem-matching
Viewer • Updated • 101k • 38
Simon Kurgan
simku22
AI & ML interests
None yet
Recent Activity
updated a dataset 2 days ago
uw-math-ai/theorem-matching published a dataset 4 days ago
uw-math-ai/theorem-matchingOrganizations
updated a
dataset 2 days ago
published a
dataset 4 days ago