Lushi Pu's picture

Lushi Pu

daypu

·

AI & ML interests

Large Language Models

Recent Activity

upvoted a paper 1 day ago

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

authored a paper 3 days ago

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

new activity 4 days ago

openbmb/MA-ProofBench:Update README

View all activity

Organizations

None yet

New activity in openbmb/MA-ProofBench 4 days ago

Update README

#1 opened 4 days ago by

Update README

#1 opened 4 days ago by