Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
4
7
Zhichen Zeng
CharyZeng
Follow
0 followers
·
9 following
Zhichenzzz
AI & ML interests
None yet
Recent Activity
authored
a paper
1 day ago
HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification
updated
a model
1 day ago
CharyZeng/Kimi-K2.5-2layer
updated
a model
16 days ago
CharyZeng/Kimi-K2.5-4layer
View all activity
Organizations
Papers
8
arxiv:
2606.13706
arxiv:
2605.29157
arxiv:
2603.10160
arxiv:
2510.01450
View 8 papers
models
3
Sort: Recently updated
CharyZeng/Kimi-K2.5-2layer
21B
•
Updated
1 day ago
•
18
CharyZeng/Kimi-K2.5-4layer
56B
•
Updated
16 days ago
•
5
CharyZeng/DeepSeek-V4-Flash-4layer
Text Generation
•
15B
•
Updated
Apr 25
•
78
datasets
0
None public yet
