实体
formal methods
formal methods
PulseAugur coverage of formal methods — every cluster mentioning formal methods across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
人工智能安全焦点：形式化方法论文、Anthropic 和 OpenAI 招聘
一篇题为“通过形式化方法实现人工智能安全中的可处理问题”（Tractable Problems in AI Security via Formal Methods）的新立场文件已发布，重点关注人工智能安全方面最小化且无争议的方法，特别是通过加强基础设施来保护模型权重的机密性和完整性。作者还强调了 Anthropic 安全实验室的招聘工作，以及 OpenAI 的“Preparedness”团队可能对形式化方法的兴趣。此外，该帖子还引用了…
-
人工智能安全聚焦形式化方法，举办黑客松并涌现新创企业
人工智能安全社区正围绕形式化方法进行组织，举办了专注于安全程序合成的黑客松和研究员项目。Midspiral、Sequent 和 Sigil Logic 等新公司正在这一领域崭露头角，将形式化方法应用于 Web 开发和人工智能安全等领域。此外，一项关于网络加固人工智能系统的新资金呼吁以及一项针对人工智能安全硬件的驻留计划，都凸显了对这些关键领域日益增长的关注。