Hugging Face's logo
Lushi Pu's picture

Lushi Pu

daypu
1 2 30
ยท

AI & ML interests

Large Language Models

Recent Activity

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

Organizations

None yet