节目

YC Paper Club

1 场 · 演讲 1 · 最近 2026-10-17

安全与对齐网络安全与滥用软件与编程

节目介绍

Y Combinator 举办的前沿技术与论文分享活动。本站选收 AI 安全、形式化验证与高可靠系统相关的原始报告录像。

介绍依据 · 本站收录范围介绍

原发布方节目 ↗ · 整理于 2026-10-18。范围介绍依据本站已收录条目，不代表节目的全部内容。

讲者

2

Clark Barrett1 Mykel Kochenderfer1

全部场次

1

Clark Barrett安全与对齐

演讲 · EN · 97 分钟2026-10-17

Clark Barrett 与 Mykel Kochenderfer：代码形式化证明智能体与高可靠系统验证

Clark Barrett · Mykel Kochenderfer·YC Paper Club