Swarat Chaudhuri

Researcher

MathematicsMachine learning

Now Researcher; first author of the AlphaProof Code paper on verifying Signal · Google DeepMind

@swarat cs.utexas.edu

Latest on AI4S.fyi

TIMELINE · 2026-11-10

Google DeepMind's AlphaProof Code proved key security properties of libsignal's compiled code, in about 6.5 million lines of Lean

Path

Google DeepMindResearcher; first author of the AlphaProof Code paper on verifying Signal

On the timeline

2026-11-10Google DeepMind's AlphaProof Code proved key security properties of libsignal's compiled code, in about 6.5 million lines of Lean
2026-05-21AlphaProof Nexus resolves nine open Erdős problems with Lean-checked proofs

Sourcesdeepmind.google deepmind.google/formal-verification-signal-proto

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →