Running
16
Theorem Search
📚
Find math theorems faster.
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.
Papers
TheoremGraph: Bridging Formal and Informal Mathematics
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
datasets 8
uw-math-ai/math-graph
Viewer • Updated • 16.1M • 266 • 9
uw-math-ai/theorem-matching
Viewer • Updated • 101k • 68 • 1
uw-math-ai/MELD-dataset
Viewer • Updated • 2 • 110
uw-math-ai/Math2Vec-embedding-dataset
Preview • Updated • 48 • 1
uw-math-ai/grothendieck-vanishing-logs
Viewer • Updated • 53.7k • 87 • 1
uw-math-ai/APRIL
Preview • Updated • 260 • 10
uw-math-ai/theorem-search-dataset
Viewer • Updated • 2.89M • 314 • 24
uw-math-ai/theorem-search-dataset-permissive
Viewer • Updated • 2.68M • 387