Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

University of Washington Math AI Lab

university
https://ai.math.uw.edu
uw-math-ai
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 4 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics
simku22  authored a paper about 4 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics
Vilin97  submitted a paper 1 day 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

Vasily Ilin's profile pictureLuke Alexander's profile pictureEric Leonen's profile pictureSophie Szeto's profile pictureArtemii Remizov's profile pictureSiyuan Ge's profile pictureDaniel Lee's profile pictureEvan Wang's profile pictureSimon Chess's profile pictureSimon Kurgan's profile pictureanonymous-text-embedding's profile pictureJIAYING YE's profile pictureRao's profile picture

uw-math-ai 's datasets 8

uw-math-ai/math-graph

Viewer • Updated 3 days ago • 16.1M • 96 • 7

uw-math-ai/theorem-matching

Viewer • Updated 5 days ago • 101k • 59

uw-math-ai/MELD-dataset

Viewer • Updated 11 days ago • 2 • 36

uw-math-ai/Math2Vec-embedding-dataset

Preview • Updated May 29 • 53 • 1

uw-math-ai/grothendieck-vanishing-logs

Viewer • Updated May 21 • 53.7k • 102

uw-math-ai/APRIL

Preview • Updated Feb 27 • 82 • 10

uw-math-ai/theorem-search-dataset

Viewer • Updated Feb 20 • 2.89M • 283 • 24

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

Viewer • Updated Feb 13 • 2.68M • 21
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs