Amazon Science

@AmazonScience

The latest news and research from Amazon's science community. #AmazonScience

Global

amazon.science

Replies Reposts Media Articles

Amazon Science
@AmazonScience
Sep 4
.@amazon and @DARPA brought together 150+ researchers in Seattle last week, with speakers including @awscloud CEO @mattsgarman, Fields Medalist @TaoistTerence, @EPrinceton Associate Professor @BorisHanin, and @NSAGov's Michael O'Hara to explore how AI is transforming mathematical
2
Amazon Science
@AmazonScience
Sep 2
Amazon Redshift researchers were awarded Best Paper Runner-Up: Industrial Track at @VLDBconf for eliminating compilation cold starts in query execution – cutting compilation time from seconds to milliseconds with a 7x speedup on TPC-DS benchmarks. #VLDB2026
FastCompose: Eliminating compilation cold starts in query execution with composition
From amazon.science
Amazon Science
@AmazonScience
Aug 31
Verus is an open-source, automated program verifier for Rust that mechanically checks code against a formal mathematical specification for all possible inputs. Amazon used it to prove correctness of Nitro Isolation Engine primitives.
Developing provably correct Rust code with Verus
From amazon.science
8
Amazon Science
@AmazonScience
Aug 28
When LLM judges agree, the right question is why. Shared prompts, model families, or training lineage can make a majority look stronger than it is. Dependence-aware aggregation via Ising models accounts for this, improving accuracy 9–14% over weighted majority vote.
When LLM judges agree, should we believe them?
From amazon.science
Amazon Science
@AmazonScience
Aug 25
How did a model upgrade make agents worse? By pairing real enterprise SOPs with functioning tools and ground-truth grading across 12 industries and 2,000+ tasks, SOP-Bench helps find such anomalies.
SOP-Bench: A new benchmark for evaluating AI agents on real business procedures
From amazon.science