UltraData
Collection
Ultra Scale, Ultra Quality, Ultra Coverage • 11 items • Updated • 98
Lushi Pu
daypu
·
AI & ML interests
None yet
Recent Activity
authored a paper about 20 hours 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-ProofBenchOrganizations
None yet
upvoted a collection 4 months ago