Hugging Face's logo
Lushi Pu's picture
1 2 30

Lushi Pu

daypu
·

AI & ML interests

Large Language Models

Recent Activity

upvoted a paper 3 days ago
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
authored a paper 4 days ago
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
new activity 5 days ago
openbmb/MA-ProofBench:Update README
View all activity

Organizations

None yet