University of Washington Math AI Lab

University of Washington Math AI Lab on Hugging Face Daily Papers: 4 papers, 0 in the top 3 of their day, 0 paper of the day.

1. TheoremGraph: Bridging Formal and Informal Mathematics 12 upvotes, #23 of 2026-06-30
2. Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium 14 upvotes, #22 of 2026-03-18
3. Semantic Search over 9 Million Mathematical Theorems 19 upvotes, #15 of 2026-02-06
4. Learning to Repair Lean Proofs from Compiler Feedback 26 upvotes, #15 of 2026-02-05

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.