Running
15
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.
Recent Activity
Papers
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
Semantic Search over 9 Million Mathematical Theorems
models 4
uw-math-ai/MathLeap-Octen-8B
Sentence Similarity • 8B • Updated • 149 • 1
uw-math-ai/MathLeap-Qwen-8B
Sentence Similarity • 8B • Updated • 102
uw-math-ai/gAPRIL-w-exp
Text Generation • 8B • Updated • 7 • 2
uw-math-ai/gAPRIL-wo-exp
Text Generation • 8B • Updated • 996 • 1
datasets 8
uw-math-ai/theorem-matching
Updated
uw-math-ai/MELD-dataset
Updated • 18
uw-math-ai/Math2Vec-embedding-dataset
Preview • Updated • 129 • 1
uw-math-ai/math-graph
Preview • Updated • 142 • 1
uw-math-ai/grothendieck-vanishing-logs
Viewer • Updated • 53.7k • 97
uw-math-ai/APRIL
Preview • Updated • 147 • 10
uw-math-ai/theorem-search-dataset
Viewer • Updated • 2.89M • 248 • 24
uw-math-ai/theorem-search-dataset-permissive
Viewer • Updated • 2.68M • 26