Automated Reasoning Group

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

00:00

2026-08-15

lex00.github.io

ai-research

A billion proofs a day

Amazon's Automated Reasoning Group published a decade of reflections on proving AWS correct, highlighting that its policy engine Zelkova answers a billion SMT queries a day about what policies permit.…

16:22

2026-08-11

amazon.science

ai-research

A decade of mathematical certainty: Reflections on the Automated Reasoning Group

Amazon's Automated Reasoning Group (ARG), launched in 2016, has grown from a small research team into a production service processing billions of queries daily, using mathematical logic to prove the c…

// co-occurs with top 8 entities

Amazon 2 AWS 2 Zelkova 2 Amazon Inspector 1 Reachability Analyzer 1 S3 Block Public Access 1 IAM Access Analyzer 1 AWS CDK 1

// topics top 3 topics

ai research 2 ai tools 2 ai infrastructure 1