Hugging Face's logo
Peng's picture
13 1

Peng

BaolinPeng
21world's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 24 days ago
HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving
upvoted a paper about 2 months ago
Expanding Performance Boundaries of Open-Source Multimodal Models with Model, Data, and Test-Time Scaling
upvoted a paper 2 months ago
Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering
View all activity

Organizations

None yet

BaolinPeng's activity

liked a dataset over 1 year ago