Lushi Pu's picture

Lushi Pu

daypu

·

AI & ML interests

None yet

Recent Activity

authored a paper about 20 hours ago

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

new activity 1 day ago

openbmb/MA-ProofBench:Update README

liked a dataset 1 day ago

openbmb/MA-ProofBench

View all activity

Organizations

None yet

New activity in openbmb/MA-ProofBench 1 day ago

Update README

#1 opened 1 day ago by

Update README

#1 opened 1 day ago by