Lushi Pu

daypu's activity

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

liked a dataset 10 days ago

openbmb/UltraData-Code

Viewer • Updated 11 days ago • 348M • 24.3k • 139

liked a model 11 days ago

openbmb/MiniCPM5-2B

Text Generation • 3B • Updated 6 days ago • 330k • 1.55k

New activity in openbmb/MA-ProofBench 23 days ago

update lean statement

#3 opened 23 days ago by

daypu

liked a dataset 30 days ago

openbmb/Ultra-FineWeb-L1

Viewer • Updated 29 days ago • 1.14B • 41.3k • 194

submitted a paper to Daily Papers about 1 month ago

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

Paper • 2608.14221 • Published Aug 14 • 9

authored a paper about 1 month ago

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

Paper • 2608.14221 • Published Aug 14 • 9

upvoted a paper about 1 month ago

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

Paper • 2608.14221 • Published Aug 14 • 9

New activity in openbmb/MathForm-8B about 1 month ago

update readme

#1 opened about 1 month ago by

daypu

New activity in openbmb/FormalVerse about 1 month ago

update readme

#1 opened about 1 month ago by

daypu

liked a model about 1 month ago

openbmb/MathForm-8B

Text Generation • 8B • Updated Aug 17 • 548 • 8

liked a dataset about 1 month ago

openbmb/FormalVerse

Viewer • Updated Aug 17 • 367k • 1.19k • 14

liked a dataset 2 months ago

openbmb/UltraX-Preview

Viewer • Updated Jul 17 • 114M • 15.3k • 285

upvoted a paper 3 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 3 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 3 months ago

Update README

#1 opened 3 months ago by

daypu

liked a dataset 3 months ago

openbmb/MA-ProofBench

Viewer • Updated 22 days ago • 200 • 694 • 15

liked 3 models 4 months ago

openbmb/MiniCPM5-1B

Text Generation • 1B • Updated Aug 17 • 652k • 1.14k

openbmb/MiniCPM5-1B-SFT

Text Generation • 1B • Updated Aug 17 • 6.21k • 44

openbmb/MiniCPM-V-4.6

Image-Text-to-Text • 1B • Updated Aug 17 • 456k • 1.21k

liked a model 5 months ago

openbmb/VoxCPM2

Text-to-Speech • 2B • Updated Aug 18 • 385k • 1.63k