Hugging Face's logo
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 7 days ago
uw-math-ai/FormalArXiv
Theohhh  published a dataset 9 days ago
uw-math-ai/FormalArXiv
Vilin97  updated a Space 26 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
Theohhh 
updated a dataset 7 days ago
Theohhh 
published a dataset 9 days ago
Vilin97 
updated a Space 26 days ago
slszeto 
updated 2 datasets 26 days ago
slszeto 
updated a Space 26 days ago
CeciliaYe 
updated a model 27 days ago
Vilin97 
submitted a paper to Daily Papers about 1 month ago
slszeto 
authored a paper 4 months ago
simku22 
authored a paper 4 months ago
Vilin97 
submitted a paper to Daily Papers 4 months ago
ericleonen 
updated 2 datasets 4 months ago
simku22 
updated a dataset 4 months ago
simku22 
published a dataset 4 months ago
CeciliaYe 
updated a dataset 4 months ago
CeciliaYe 
published a dataset 4 months ago
CeciliaYe 
updated a dataset 5 months ago
CeciliaYe 
updated a model 5 months ago
Vilin97 
published a dataset 5 months ago