Yudong Wang

BigDong's activity

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

updated a collection 2 days ago

MiniCPM5

Collection

A SOTA 1B on-device LLM, small yet powerful. • 19 items • Updated about 14 hours ago • 41

New activity in openbmb/MA-ProofBench 7 days ago

update lean statement

#3 opened 8 days ago by

daypu

updated a collection 12 days ago

UltraData

Collection

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

updated 3 datasets 14 days ago

openbmb/Ultra-FineWeb-L3

Viewer • Updated 14 days ago • 1.06B • 14.6k • 331

openbmb/Ultra-FineWeb-L1

Viewer • Updated 14 days ago • 1.14B • 30.8k • 186

openbmb/Ultra-FineWeb

Viewer • Updated 14 days ago • 1.29B • 126k • 429

authored a paper 14 days ago

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

Paper • 2608.14221 • Published 20 days ago • 8

liked a dataset 14 days ago

openbmb/Ultra-FineWeb-L1

Viewer • Updated 14 days ago • 1.14B • 30.8k • 186

updated a model 14 days ago

openbmb/Ultra-FineWeb-classifier

Updated 14 days ago • 153 • 55

published a dataset 14 days ago

openbmb/Ultra-FineWeb-L1

Viewer • Updated 14 days ago • 1.14B • 30.8k • 186

upvoted a paper 14 days ago

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

Paper • 2608.14221 • Published 20 days ago • 8

liked a model 14 days ago

openbmb/MathForm-8B

Text Generation • 8B • Updated 17 days ago • 819 • 8

liked a dataset 17 days ago

openbmb/FormalVerse

Viewer • Updated 17 days ago • 367k • 1.09k • 14