AIVF '26 ·
智能体产业研讨会
日程
嘉宾
Wiki
Wiki
›
概念
› Specification / SBD
Specification / SBD
概念
方法论
方法论
出现于 3 场分享
简介
冯新宇讨论的 SBD 与 Specification 语言谱系,应对 AI 编程的需求二义性。
出现于 · 3 场
13:30–14:30
Panel:Agent 软件工程的理论基础与工程实践
11:40–11:55
AI 时代的编程语言演进
13:15–13:30
Formal Method by Agents
相关实体
智能体 / Agent
·3
形式化方法 / 验证
·3
大模型 LLM
·3
Agentic AI
·2
AI 编程 / Coding
·2
冯新宇
·2
华为
·2
神经符号融合
·2