Zhichen Zeng's picture

4 7

Zhichen Zeng

CharyZeng

·

Zhichenzzz

AI & ML interests

None yet

Recent Activity

authored a paper 2 days ago

HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification

updated a model 3 days ago

CharyZeng/Kimi-K2.5-2layer

updated a model 17 days ago

CharyZeng/Kimi-K2.5-4layer

View all activity

Organizations

CharyZeng 's papers 8

arxiv:2606.13706

arxiv:2605.29157

arxiv:2603.10160

arxiv:2510.01450

arxiv:2503.06342

arxiv:2410.13276

arxiv:2408.06003

arxiv:2404.11887