Lushi Pu

daypu's activity

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

liked a model about 15 hours ago

openbmb/MiniCPM5-2B

Text Generation • 3B • Updated about 1 hour ago • 13 • 359

New activity in openbmb/MA-ProofBench 13 days ago

update lean statement

#3 opened 13 days ago by

daypu

liked a dataset 19 days ago

openbmb/Ultra-FineWeb-L1

Viewer • Updated 19 days ago • 1.14B • 34k • 190

submitted a paper to Daily Papers 20 days ago

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

Paper • 2608.14221 • Published 25 days ago • 9

authored a paper 22 days ago

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

Paper • 2608.14221 • Published 25 days ago • 9

upvoted a paper 22 days ago

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

Paper • 2608.14221 • Published 25 days ago • 9

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

update readme

#1 opened 22 days ago by

daypu

New activity in openbmb/FormalVerse 22 days ago

update readme

#1 opened 22 days ago by

daypu

liked a model 22 days ago

openbmb/MathForm-8B

Text Generation • 8B • Updated 22 days ago • 887 • 8

liked a dataset 22 days ago

openbmb/FormalVerse

Viewer • Updated 22 days ago • 367k • 1.21k • 14

liked a dataset about 2 months ago

openbmb/UltraX-Preview

Viewer • Updated Jul 17 • 114M • 8.08k • 276

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 12 days ago • 200 • 374 • 12

liked a model 3 months ago

openbmb/MiniCPM5-1B

Text Generation • 1B • Updated 22 days ago • 737k • 1.11k

liked 2 models 4 months ago

openbmb/MiniCPM5-1B-SFT

Text Generation • 1B • Updated 22 days ago • 15.8k • 43

openbmb/MiniCPM-V-4.6

Image-Text-to-Text • 1B • Updated 22 days ago • 536k • 1.21k

liked a model 5 months ago

openbmb/VoxCPM2

Text-to-Speech • 2B • Updated 21 days ago • 399k • 1.58k

liked a model 7 months ago

openbmb/MiniCPM-SALA

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