Zhichen Zeng
CharyZeng
ยท
AI & ML interests
None yet
Recent Activity
authored a paper 15 days ago
HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification updated a model 15 days ago
CharyZeng/Kimi-K2.5-2layer updated a model 29 days ago
CharyZeng/Kimi-K2.5-4layerOrganizations
