Lushi Pu

daypu's activity

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

liked a dataset 6 days ago

openbmb/Ultra-FineWeb-L1

Viewer • Updated 6 days ago • 1.14B • 11.2k • 159

submitted a paper to Daily Papers 7 days ago

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

Paper • 2608.14221 • Published 11 days ago • 8

authored a paper 8 days ago

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

Paper • 2608.14221 • Published 11 days ago • 8

upvoted a paper 8 days ago

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

Paper • 2608.14221 • Published 11 days ago • 8

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

update readme

#1 opened 9 days ago by

daypu

New activity in openbmb/FormalVerse 9 days ago

update readme

#1 opened 9 days ago by

daypu

liked a model 9 days ago

openbmb/MathForm-8B

Text Generation • 8B • Updated 9 days ago • 695 • 7

liked a dataset 9 days ago

openbmb/FormalVerse

Viewer • Updated 9 days ago • 367k • 729 • 12

liked a dataset about 1 month ago

openbmb/UltraX-Preview

Viewer • Updated Jul 17 • 114M • 9.45k • 274

upvoted a paper 2 months ago

MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

Paper • 2606.13782 • Published Jun 11 • 2

authored a paper 2 months ago

MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

Paper • 2606.13782 • Published Jun 11 • 2

New activity in openbmb/MA-ProofBench 2 months ago

Update README

#1 opened 2 months ago by

daypu

liked a dataset 2 months ago

openbmb/MA-ProofBench

Viewer • Updated Jun 15 • 200 • 304 • 7

liked 2 models 3 months ago

openbmb/MiniCPM5-1B

Text Generation • 1B • Updated 9 days ago • 989k • 1.08k

openbmb/MiniCPM5-1B-SFT

Text Generation • 1B • Updated 9 days ago • 15.6k • 42

liked a model 4 months ago

openbmb/MiniCPM-V-4.6

Image-Text-to-Text • 1B • Updated 9 days ago • 653k • 1.2k

liked a model 5 months ago

openbmb/VoxCPM2

Text-to-Speech • 2B • Updated 8 days ago • 326k • 1.55k

liked a model 6 months ago

openbmb/MiniCPM-SALA

Text Generation • 9B • Updated May 7 • 26.6k • 686

upvoted a collection 7 months ago

UltraData

Collection

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

liked a dataset 7 months ago

openbmb/UltraData-Math

Viewer • Updated Apr 15 • 181M • 21.5k • 336