University of Washington Math AI Lab

university

https://ai.math.uw.edu

Activity Feed Request to join this org

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

Theohhh updated a dataset 13 days ago

uw-math-ai/FormalArXiv

Theohhh published a dataset 16 days ago

uw-math-ai/FormalArXiv

Vilin97 updated a Space about 1 month ago

uw-math-ai/theorem-search

View all activity

Papers

TheoremGraph: Bridging Formal and Informal Mathematics

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

View all Papers

spaces 1

Theorem Search

Search moved to https://theoremsearch.com

models 4

uw-math-ai/MathLeap-Qwen-8B

Sentence Similarity • 8B • Updated Oct 1 • 165 • 1

uw-math-ai/MathLeap-Octen-8B

Sentence Similarity • 8B • Updated May 27 • 145 • 1

uw-math-ai/gAPRIL-w-exp

Text Generation • 8B • Updated Mar 2 • 29 • 2

uw-math-ai/gAPRIL-wo-exp

Text Generation • 8B • Updated Mar 1 • 19 • 1

datasets 9

uw-math-ai/FormalArXiv

Updated 13 days ago • 141 • 3

uw-math-ai/theorem-search-dataset-permissive

Viewer • Updated Oct 2 • 2.68M • 179

uw-math-ai/theorem-search-dataset

Viewer • Updated Oct 2 • 2.89M • 469 • 26

uw-math-ai/math-graph

Viewer • Updated Jun 28 • 16.1M • 285 • 11

uw-math-ai/theorem-matching

Viewer • Updated Jun 26 • 101k • 203 • 3

uw-math-ai/MELD-dataset

Viewer • Updated Jun 20 • 2 • 59

uw-math-ai/Math2Vec-embedding-dataset

Preview • Updated May 29 • 93 • 1

uw-math-ai/grothendieck-vanishing-logs

Viewer • Updated May 21 • 53.7k • 63 • 1

uw-math-ai/APRIL

Preview • Updated Feb 27 • 672 • 10