Submissions from amazon.science

1.		Formally verified AES-XTS: The first AES algorithm to join s2n-bignum (amazon.science)
		1 point by ankitg12 18 days ago \| past
2.		Can we change an AI model's architecture without retraining it from scratch? (amazon.science)
		2 points by gmays 21 days ago \| past
3.		Can we change an AI model's architecture without retraining it from scratch? (amazon.science)
		1 point by qtqtqt 22 days ago \| past \| 1 comment
4.		Developing provably correct Rust code with Verus (amazon.science)
		164 points by Betelbuddy 50 days ago \| past \| 79 comments
5.		Why don't machine learning research agents overfit? (amazon.science)
		136 points by Betelbuddy 50 days ago \| past \| 94 comments
6.		When LLM judges agree, should we believe them? (amazon.science)
		54 points by Betelbuddy 50 days ago \| past \| 49 comments
7.		Developing provably correct Rust code with Verus (amazon.science)
		4 points by matt_d 52 days ago \| past
8.		Developing provably correct Rust code with Verus (amazon.science)
		1 point by shortj 64 days ago \| past
9.		EC2's "isolation engine" provides mathematical assurance of VM isolation (amazon.science)
		1 point by mooreds 77 days ago \| past
10.		Amazon Is Investing in the Lean Focused Research Organization (amazon.science)
		4 points by gjmveloso 3 months ago \| past
11.		Capturing token IDs during agentic interaction for better reinforcement learning (amazon.science)
		3 points by visha1v 3 months ago \| past
12.		Why Triso Matters (amazon.science)
		2 points by visha1v 3 months ago \| past
13.		How we built Cedar with automated reasoning and differential testing (2023) (amazon.science)
		2 points by pramodbiligiri 4 months ago \| past
14.		How flat is replacing fat in AWS data center networks (amazon.science)
		2 points by porjo 4 months ago \| past
15.		AWS Graviton5's improved design increases speed and energy efficiency (amazon.science)
		3 points by tanelpoder 4 months ago \| past
16.		How flat is replacing fat in AWS data center networks (amazon.science)
		4 points by Tomte 5 months ago \| past \| 2 comments
17.		How flat is replacing fat in AWS data center networks (amazon.science)
		2 points by mooreds 5 months ago \| past
18.		Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf] (amazon.science)
		2 points by badcryptobitch 7 months ago \| past
19.		Intelligence isn't about parameter count. It's about time (amazon.science)
		3 points by mtw14 8 months ago \| past
20.		We built Cedar with automated reasoning and differential testing (2023) (amazon.science)
		1 point by mefengl 9 months ago \| past
21.		Building AI agents that work: Introducing Nova Act as a service (amazon.science)
		4 points by antje 11 months ago \| past
22.		Amazon Announces 2026 Amazon Nova AI Challenge: Trusted Software Agents Track (amazon.science)
		1 point by T-A 11 months ago \| past
23.		Chronos-2: From univariate to universal forecasting (amazon.science)
		1 point by abdulfatir on Oct 22, 2025 \| past
24.		How the Lean language brings math to coding and coding to math (2024) (amazon.science)
		2 points by danabramov on Aug 31, 2025 \| past
25.		A decade of database innovation: The Amazon Aurora story (amazon.science)
		1 point by mariuz on Aug 22, 2025 \| past
26.		Measuring the effectiveness of software development tools and practices (amazon.science)
		3 points by saeedesmaili on Aug 6, 2025 \| past
27.		Three challenges in machine-based reasoning (amazon.science)
		1 point by practal on Aug 6, 2025 \| past
28.		How the Lean language brings math to coding and coding to math (amazon.science)
		3 points by nabla9 on Aug 5, 2025 \| past
29.		Amazon Nova Premier: Technical report and model card (amazon.science)
		1 point by phonon on June 26, 2025 \| past
30.		Amazon Nova Act (amazon.science)
		3 points by untangle on April 1, 2025 \| past
		More