Lushi Pu

daypu

·

AI & ML interests

Large Language Models

Recent Activity

upvoted a paper 15 days ago

MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

authored a paper 16 days ago

MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

new activity 17 days ago

openbmb/MA-ProofBench:Update README

View all activity

Organizations

None yet

upvoted a paper 15 days ago

MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

Paper • 2606.13782 • Published 21 days ago • 2

upvoted a collection 5 months ago

UltraData

Ultra Scale, Ultra Quality, Ultra Coverage • 11 items • Updated May 28 • 98