AIVF '26 ·
智能体产业研讨会
日程
嘉宾
Wiki
Wiki
›
事件 · 倡议
› Arc（Agentic Requirement Compilation）
Arc（Agentic Requirement Compilation）
事件 · 倡议
开源项目
开源项目
出现于 3 场分享
简介
林云团队的开源项目，落地「需求编译」理念，构建软件功能智能体与教育竞赛平台。
出现于 · 3 场
09:10–09:25
硅基时间时刻
13:15–13:30
Formal Method by Agents
16:45–17:00
OAIC 产业联盟规划介绍
相关实体
智能体 / Agent
·3
大模型 LLM
·3
Agentic AI
·2
AgentOS / Agentic OS
·2
AI 编程 / Coding
·2
AI 原生 / AI Native
·2
Anthropic（Claude）
·2
形式化方法 / 验证
·2