Emily meng

pickle05

2

·

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

AI & ML interests

None yet

Recent Activity

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

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Paper • 2609.25199 • Published 5 days ago • 16

upvoted a paper 3 months ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published Jun 24 • 12