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

Yudong Wang

BigDong
zhengdaqi's profile picture Gargaz's profile picture varuy322's profile picture
·

AI & ML interests

None yet

Recent Activity

authored a paper 1 day ago
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
new activity 1 day ago
openbmb/MA-ProofBench:Update README
liked a dataset 1 day ago
openbmb/MA-ProofBench
View all activity

Organizations

OpenBMB's profile picture