Amazon's Automated Reasoning Group started by demoing tools to prove AWS systems secure and correct.
A decade later, they have proved the Nitro Isolation Engine, cryptographic code, and S3 correct. Now they are applying the same techniques to AI.
Amazon Science
@AmazonScience
The latest news and research from Amazon's science community. #AmazonScience
- 📣 AWS Trainium Frontier is open for registration. Train language models from scratch on purpose-built AI chips for @NeurIPSConf. Prizes include $25K for first place, co-publication with Annapurna Labs researchers, and a presentation in Sydney. Deadline is September 30.
- Attending #KDD2026? Come meet Amazonians and fellow attendees at our mixer. Spots are limited – request to attend:
- 📣 Amazon Research Awards announces the 34 recipients of the Build on Trainium program, a $110M credit initiative supporting AI research at 30 universities on AWS Trainium:
- Training a graph neural network on multiple objectives usually means blending conflicting gradients at every step. Instead of compromising among parameter updates from different training objectives, ControlG allocates capacity to objectives sequentially and dynamically via PID
