Running
16
Theorem Search
📚
Search moved to https://theoremsearch.com
AI & ML interests
The UW Math AI Lab does research in the intersection of Math and AI, including AI for Math, such as formalization, search, and deep learning for math.
Recent Activity
View all activity
Papers
TheoremGraph: Bridging Formal and Informal Mathematics
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
datasets 8
uw-math-ai/theorem-search-dataset-permissive
Viewer • Updated • 2.68M • 103
uw-math-ai/theorem-search-dataset
Viewer • Updated • 2.89M • 269 • 26
uw-math-ai/math-graph
Viewer • Updated • 16.1M • 443 • 11
uw-math-ai/theorem-matching
Viewer • Updated • 101k • 129 • 3
uw-math-ai/MELD-dataset
Viewer • Updated • 2 • 85
uw-math-ai/Math2Vec-embedding-dataset
Preview • Updated • 78 • 1
uw-math-ai/grothendieck-vanishing-logs
Viewer • Updated • 53.7k • 61 • 1
uw-math-ai/APRIL
Preview • Updated • 571 • 10