Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
8
3
Zhicheng YANG
yangzhch6
Follow
allanjie's profile picture
1 follower
·
1 following
https://yangzhch6.github.io/
yangzhch6
AI & ML interests
reasoning with LLMs
Recent Activity
upvoted
a
paper
16 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
updated
a dataset
about 2 months ago
yangzhch6/DeepInformal-DeepTheorem-Synthetic
updated
a dataset
about 2 months ago
yangzhch6/DeepInformal-Openr1-Math-46K-Synthetic
View all activity
Organizations
None yet
yangzhch6
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a model
2 months ago
deepseek-ai/DeepSeek-OCR
Image-Text-to-Text
•
3B
•
Updated
Nov 4, 2025
•
3.37M
•
3.04k
liked
a dataset
3 months ago
Jiahao004/DeepTheorem
Viewer
•
Updated
Jul 3, 2025
•
121k
•
228
•
25
liked
a model
over 1 year ago
deepseek-ai/DeepSeek-V2-Chat
Text Generation
•
236B
•
Updated
Jun 8, 2024
•
8.44k
•
459