← 返回名录条目信息来自其公开主页与公开发布内容。按本站规范，页面不展示任何联系方式。 需要更正或删除？通过收录与更正通道提交，24 小时内处理。
C
Chao
Learnig AI Agent (bro @JunZhangJz )
- 公司
- Shenzhen University
- 位置
- Shenzhen, China
- Stars
- 64
- 粉丝 / 仓库
- 8
代表作品 / 项目
- vostd⭐ 54Ongoing formal verification for Asterinas OSTD
- KDD26-ADS-StarVerus⭐ 5[KDD 2026] Official implementation of "StarVerus: LLM-Powered Multi-Agent Collaboration for Industrial Rust Code Verification Automation"
- KDD26-ADS-StarVerus⭐ 3
- VeRAG⭐ 2
- ResearchFlow⭐ 0