Hugging Face's logo
Yudong Wang's picture
35 12 44

Yudong Wang

BigDong
SteveSHEN's profile picture guojunshaoyao's profile picture 21world's profile picture
·

AI & ML interests

None yet

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

OpenBMB's profile picture