Yudong Wang

BigDong's activity

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

updated a collection 4 days ago

MiniCPM5

Collection

A SOTA 1B on-device LLM, small yet powerful. • 19 items • Updated 2 days ago • 41

New activity in openbmb/MA-ProofBench 9 days ago

update lean statement

#3 opened 9 days ago by

daypu

updated a collection 14 days ago

UltraData

Collection

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

updated 3 datasets 16 days ago

openbmb/Ultra-FineWeb-L3

Viewer • Updated 16 days ago • 1.06B • 14k • 330

openbmb/Ultra-FineWeb-L1

Viewer • Updated 16 days ago • 1.14B • 33.6k • 186

openbmb/Ultra-FineWeb

Viewer • Updated 16 days ago • 1.29B • 129k • 429

authored a paper 16 days ago

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

Paper • 2608.14221 • Published 21 days ago • 9

liked a dataset 16 days ago

openbmb/Ultra-FineWeb-L1

Viewer • Updated 16 days ago • 1.14B • 33.6k • 186

updated a model 16 days ago

openbmb/Ultra-FineWeb-classifier

Updated 16 days ago • 157 • 55

published a dataset 16 days ago

openbmb/Ultra-FineWeb-L1

Viewer • Updated 16 days ago • 1.14B • 33.6k • 186

upvoted a paper 16 days ago

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

Paper • 2608.14221 • Published 21 days ago • 9

liked a model 16 days ago

openbmb/MathForm-8B

Text Generation • 8B • Updated 19 days ago • 849 • 8

liked a dataset 19 days ago

openbmb/FormalVerse

Viewer • Updated 19 days ago • 367k • 1.16k • 14