Swarat Chaudhuri

研究者

数学机器学习

现任研究员；AlphaProof Code 验证 Signal 论文的第一作者 · Google DeepMind

@swarat cs.utexas.edu

AI4S.fyi 最新记录

时间线 · 2026-11-10

Google DeepMind 用 AlphaProof Code 证明了 libsignal 编译后代码的关键安全性质，证明约 650 万行 Lean

经历

Google DeepMind研究员；AlphaProof Code 验证 Signal 论文的第一作者

时间线上提到

出处deepmind.google deepmind.google/formal-verification-signal-proto

这一页有错误或遗漏？告诉我，会更正或撤下。联系 →