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 about 21 hours ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
upvoted a paper 3 months ago
TheoremGraph: Bridging Formal and Informal Mathematics
View all activity

Organizations

University of Washington's profile picture