Yudong Wang

BigDong's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in openbmb/MA-ProofBench 2 days ago

update lean statement

#3 opened 2 days ago by

daypu

updated a collection 7 days ago

UltraData

Collection

Ultra Scale, Ultra Quality, Ultra Coverage • 15 items • Updated 7 days ago • 107

updated 3 datasets 9 days ago

openbmb/Ultra-FineWeb-L3

Viewer • Updated 9 days ago • 1.06B • 17.4k • 325

openbmb/Ultra-FineWeb-L1

Viewer • Updated 9 days ago • 1.14B • 20.7k • 179

openbmb/Ultra-FineWeb

Viewer • Updated 9 days ago • 1.29B • 118k • 427

authored a paper 9 days ago

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

Paper • 2608.14221 • Published 14 days ago • 8

liked a dataset 9 days ago

openbmb/Ultra-FineWeb-L1

Viewer • Updated 9 days ago • 1.14B • 20.7k • 179

updated a model 9 days ago

openbmb/Ultra-FineWeb-classifier

Updated 9 days ago • 139 • 53

published a dataset 9 days ago

openbmb/Ultra-FineWeb-L1

Viewer • Updated 9 days ago • 1.14B • 20.7k • 179

upvoted a paper 9 days ago

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

Paper • 2608.14221 • Published 14 days ago • 8

liked a model 9 days ago

openbmb/MathForm-8B

Text Generation • 8B • Updated 12 days ago • 735 • 8

liked a dataset 12 days ago

openbmb/FormalVerse

Viewer • Updated 12 days ago • 367k • 861 • 13

New activity in openbmb/FormalVerse 12 days ago

update readme

#1 opened 12 days ago by

daypu

New activity in openbmb/MathForm-8B 12 days ago

update readme

#1 opened 12 days ago by

daypu

published a dataset 12 days ago

openbmb/FormalVerse

Viewer • Updated 12 days ago • 367k • 861 • 13

published a model 12 days ago

openbmb/MathForm-8B

Text Generation • 8B • Updated 12 days ago • 735 • 8

updated a model 12 days ago

openbmb/MathForm-8B

Text Generation • 8B • Updated 12 days ago • 735 • 8

updated a dataset 12 days ago

openbmb/FormalVerse

Viewer • Updated 12 days ago • 367k • 861 • 13

liked 2 models 23 days ago

ai9stars/G9v3-3B

Text Generation • 3B • Updated Jul 22 • 4.68k • 52

ai9stars/G9v3-39A5B

Text Generation • 39B • Updated 9 days ago • 4.43k • 87