Yudong Wang
BigDong
AI & ML interests
None yet
Recent Activity
upvoted a paper about 3 hours ago
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis authored a paper 2 days ago
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis new activity 2 days ago
openbmb/MA-ProofBench:Update README