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 about 7 hours ago

uw-math-ai/FormalArXiv

Theohhh published a dataset about 7 hours ago

uw-math-ai/FormalArXiv

Vilin97 updated a Space 17 days 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 18 days ago • 150 • 1

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

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

uw-math-ai/gAPRIL-w-exp

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

uw-math-ai/gAPRIL-wo-exp

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

datasets 9

uw-math-ai/FormalArXiv

Updated about 6 hours ago • 20 • 1

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

Viewer • Updated 17 days ago • 2.68M • 123

uw-math-ai/theorem-search-dataset

Viewer • Updated 17 days ago • 2.89M • 324 • 26

uw-math-ai/math-graph

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

uw-math-ai/theorem-matching

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

uw-math-ai/MELD-dataset

Viewer • Updated Jun 20 • 2 • 58

uw-math-ai/Math2Vec-embedding-dataset

Preview • Updated May 29 • 99 • 1

uw-math-ai/grothendieck-vanishing-logs

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

uw-math-ai/APRIL

Preview • Updated Feb 27 • 729 • 10