Emily meng

pickle05

2

·

https://github.com/EmilyMeng05/emilymeng05.github.io

AI & ML interests

None yet

Recent Activity

upvoted a paper 7 days 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

upvoted a paper 7 days ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Paper • 2609.25199 • Published 10 days ago • 27

upvoted a paper 3 months ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published Jun 24 • 12