Lushi Pu

daypu's activity

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

liked a model 5 days ago

HauhauCS/Qwen3.8-27B-Uncensored-HauhauCS-Aggressive-MTP-GGUF

Image-Text-to-Text • 2B • Updated Aug 17 • 2.02M • 1.73k

liked a dataset about 1 month ago

openbmb/UltraData-Code

Viewer • Updated Sep 7 • 348M • 41.4k • 198

liked a model about 1 month ago

openbmb/MiniCPM5-2B

Text Generation • 3B • Updated 12 days ago • 1.28M • 1.73k

New activity in openbmb/MA-ProofBench about 2 months ago

update lean statement

#3 opened about 2 months ago by

daypu

liked a dataset about 2 months ago

openbmb/Ultra-FineWeb-L1

Viewer • Updated Aug 20 • 1.14B • 17.3k • 194

submitted a paper to Daily Papers about 2 months ago

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

Paper • 2608.14221 • Published Aug 14 • 9

authored a paper about 2 months ago

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

Paper • 2608.14221 • Published Aug 14 • 9

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

update readme

#1 opened about 2 months ago by

daypu

New activity in openbmb/FormalVerse about 2 months ago

update readme

#1 opened about 2 months ago by

daypu

liked a model about 2 months ago

openbmb/MathForm-8B

Text Generation • 8B • Updated Aug 17 • 518 • 9

liked a dataset about 2 months ago

openbmb/FormalVerse

Viewer • Updated Aug 17 • 367k • 429 • 15

liked a dataset 3 months ago

openbmb/UltraX-Preview

Viewer • Updated Jul 17 • 114M • 14.5k • 288

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

Update README

#1 opened 4 months ago by

daypu

liked a dataset 4 months ago

openbmb/MA-ProofBench

Viewer • Updated Aug 27 • 200 • 505 • 16

liked 3 models 5 months ago

openbmb/MiniCPM5-1B

Text Generation • 1B • Updated Aug 17 • 378k • 1.15k

openbmb/MiniCPM5-1B-SFT

Text Generation • 1B • Updated Aug 17 • 5.44k • 46

openbmb/MiniCPM-V-4.6

Image-Text-to-Text • 1B • Updated Aug 17 • 219k • 1.23k