实体 Shririam Krishnamurthi

Shririam Krishnamurthi

PulseAugur coverage of Shririam Krishnamurthi — every cluster mentioning Shririam Krishnamurthi across labs, papers, and developer communities, ranked by signal.

Show in brief

总计 · 30天

90 天内 1

发布 · 30天

90 天内 0

论文 · 30天

90 天内 0

层级分布 · 90 天

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_49488 · May 25 · 10:04

Apart Research 推出 Secure Program Synthesis Fellowship

Apart Research 和 Atlas Computing 已开放 Secure Program Synthesis Fellowship 的申请。这是一个兼职研究机会，专注于形式化方法、AI 系统和安全。参与者将以小组形式合作，在 Erik Maijer 和 Shririam Krishnamurthi 等专家的指导下，开展与规范、验证和对抗性鲁棒性相关的项目。随着代码生成日益普及，该研究金旨在应对确保 AI 系统安全可靠的日…

Apart Research 推出 Secure Program Synthesis Fellowship