Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Lushi Pu
daypu
4
3
33
Follow
0 followers
·
5 following
AI & ML interests
Large Language Models
Recent Activity
submitted
a paper
about 11 hours ago
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
authored
a paper
2 days ago
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
upvoted
a
paper
2 days ago
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
View all activity
Organizations
None yet
daypu
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
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
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
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
liked
a dataset
7 months ago
nvidia/AceReason-Math
Viewer
•
Updated
Jun 18, 2025
•
49.6k
•
3.11k
•
57
liked
a dataset
9 months ago
facebook/principia-collection
Viewer
•
Updated
Dec 19, 2025
•
554k
•
208
•
45
liked
a model
10 months ago
Buchilaguo/ATF-32B
33B
•
Updated
Oct 30, 2025
•
16
•
3
liked
a dataset
11 months ago
Modotte/MathX-5M
Viewer
•
Updated
Feb 10
•
5.05M
•
976
•
72
liked
a model
11 months ago
openbmb/VoxCPM-0.5B
Text-to-Speech
•
Updated
1 day ago
•
16.1k
•
814
liked
a model
12 months ago
openbmb/MiniCPM4.1-8B
Text Generation
•
8B
•
Updated
Oct 24, 2025
•
55.3k
•
391
liked
3 datasets
12 months ago
zwhe99/DeepMath-103K
Viewer
•
Updated
May 29, 2025
•
103k
•
14.8k
•
375
SynthLabsAI/Big-Math-RL-Verified
Viewer
•
Updated
Mar 25, 2025
•
251k
•
6.25k
•
240
math-ai/StackMathQA
Viewer
•
Updated
Nov 20, 2025
•
6.2M
•
1.42k
•
104
Load more