Lushi Pu's picture

Lushi Pu

daypu

·

AI & ML interests

Large Language Models

Recent Activity

upvoted a paper about 12 hours ago

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

authored a paper 2 days ago

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

new activity 3 days ago

openbmb/MA-ProofBench:Update README

View all activity

Organizations

None yet

New activity in openbmb/MA-ProofBench 3 days ago

Update README

#1 opened 3 days ago by

Update README

#1 opened 3 days ago by