Yudong Wang's picture

Yudong Wang

BigDong

·

BIGWangYuDong

AI & ML interests

None yet

Recent Activity

upvoted a paper about 14 hours 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 3 days ago

openbmb/MA-ProofBench:Update README

View all activity

Organizations

BigDong 's papers 16

arxiv:2606.13782

arxiv:2602.11761

arxiv:2602.09003

arxiv:2602.03417

arxiv:2601.01373

arxiv:2506.07900

arxiv:2505.05427

arxiv:2407.16732

arxiv:2405.19265

arxiv:2403.17297

arxiv:2402.13013

arxiv:2402.06332

arxiv:2311.18814

arxiv:2305.04790

arxiv:2212.07784

arxiv:2103.07138