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