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 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