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

Yudong Wang

BigDong
dark-pen's profile picture zhengdaqi's profile picture varuy322's profile picture
ยท

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 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 4 days ago
openbmb/MA-ProofBench:Update README
View all activity

Organizations

OpenBMB's profile picture