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

slszeto authored a paper about 1 month ago

TheoremGraph: Bridging Formal and Informal Mathematics

simku22 authored a paper about 1 month ago

TheoremGraph: Bridging Formal and Informal Mathematics

Vilin97 submitted a paper about 1 month ago

TheoremGraph: Bridging Formal and Informal Mathematics

View all activity

Papers

TheoremGraph: Bridging Formal and Informal Mathematics

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

View all Papers

uw-math-ai 's models 4

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

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

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

Sentence Similarity • 8B • Updated May 26 • 130

uw-math-ai/gAPRIL-w-exp

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

uw-math-ai/gAPRIL-wo-exp

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