AIVF '26 ·
智能体产业研讨会
日程
嘉宾
Wiki
Wiki
›
公司 · 机构
› 清华大学
清华大学
公司 · 机构
高校
高校
出现于 5 场分享
简介
陈渝所在高校，计算机系操作系统教学科研，探索 Rust AgentOS 与机器人结合。
出现于 · 5 场
13:30–14:30
Panel：Agent 软件工程的理论基础与工程实践
11:10–11:25
智能化软件发展的机遇与挑战
13:00–13:15
Rust AgentOS
13:15–13:30
Formal Method by Agents
11:25–11:40
需求编译与软件工厂
相关实体
智能体 / Agent
·5
大模型 LLM
·5
具身智能
·2
形式化方法 / 验证
·2
复旦大学
·2
智能化软件 / 软件3.0
·2
林云
·2
神经符号融合
·2