Lushi Pu

daypu's activity

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

submitted a paper to Daily Papers about 11 hours ago

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

Paper • 2608.14221 • Published 5 days ago • 5

authored a paper 2 days ago

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

Paper • 2608.14221 • Published 5 days ago • 5

upvoted a paper 2 days ago

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

Paper • 2608.14221 • Published 5 days ago • 5

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

update readme

#1 opened 2 days ago by

daypu

New activity in openbmb/FormalVerse 2 days ago

update readme

#1 opened 2 days ago by

daypu

liked a model 2 days ago

openbmb/MathForm-8B

Text Generation • 8B • Updated 2 days ago • 542 • 4

liked a dataset 2 days ago

openbmb/FormalVerse

Viewer • Updated 2 days ago • 367k • 227 • 7

liked a dataset about 1 month ago

openbmb/UltraX-Preview

Viewer • Updated Jul 17 • 114M • 10.4k • 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 • 315 • 7

liked 3 models 3 months ago

openbmb/MiniCPM5-1B

Text Generation • 1B • Updated 2 days ago • 1.08M • 1.07k

openbmb/MiniCPM5-1B-SFT

Text Generation • 1B • Updated 2 days ago • 14.6k • 41

openbmb/MiniCPM-V-4.6

Image-Text-to-Text • 1B • Updated 2 days ago • 726k • 1.19k

liked a model 4 months ago

openbmb/VoxCPM2

Text-to-Speech • 2B • Updated 1 day ago • 403k • 1.54k

liked a model 6 months ago

openbmb/MiniCPM-SALA

Text Generation • 9B • Updated May 7 • 21k • 685

upvoted a collection 6 months ago

UltraData

Collection

Ultra Scale, Ultra Quality, Ultra Coverage • 14 items • Updated Jul 12 • 106

liked a dataset 6 months ago

openbmb/UltraData-Math

Viewer • Updated Apr 15 • 181M • 19.6k • 335

liked a model 6 months ago

openbmb/MiniCPM-o-4_5

Any-to-Any • 9B • Updated 1 day ago • 1.01M • 1.47k