CharyZeng/Kimi-K2.5-2layer
21B • Updated • 12
Zhichen Zeng
CharyZeng
·
AI & ML interests
None yet
Recent Activity
authored a paper about 6 hours ago
HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification updated a model about 14 hours ago
CharyZeng/Kimi-K2.5-2layer updated a model 15 days ago
CharyZeng/Kimi-K2.5-4layerOrganizations
