Hugging Face's logo
Emily meng's picture

Emily meng

pickle05
2
ยท
https://github.com/EmilyMeng05/emilymeng05.github.io

AI & ML interests

None yet

Recent Activity

upvoted a paper 26 days ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
upvoted a paper 4 months ago
TheoremGraph: Bridging Formal and Informal Mathematics
View all activity

Organizations

University of Washington's profile picture University of Washington Math AI Lab's profile picture