Lushi Pu

daypu

·

AI & ML interests

Large Language Models

Recent Activity

liked a dataset 15 days ago

openbmb/UltraX-Preview

upvoted a paper about 1 month ago

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

authored a paper about 1 month ago

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

View all activity

Organizations

None yet

New activity in openbmb/MA-ProofBench about 1 month ago

Update README

#1 opened about 1 month ago by

Update README

#1 opened about 1 month ago by