# Amazon Science homepage

Learn about Amazon's scientific research, science community, and career opportunities in artificial intelligence (AI), machine learning (ML), computer vision, robotics, quantum, economics and more.

This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles.

## Why don't machine learning research agents overfit?

DevFeed: [Why don't machine learning research agents overfit?](<https://devfeed.tech/articles/why-don-t-machine-learning-research-agents-overfit-7610.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/why-dont-machine-learning-research-agents-overfit>)

Author: Martin Bertran Lopez; Aaron Roth

Published: 2026-09-10T15:03:39Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [machine learning overfitting](<https://devfeed.tech/topics/machine-learning-overfitting.md>), [Training AI Models](<https://devfeed.tech/topics/training-ai-models.md>), [AI research agents](<https://devfeed.tech/topics/ai-research-agents.md>), [Occam's razor machine learning](<https://devfeed.tech/topics/occam-s-razor-machine-learning.md>)

Tags: [agentic-ai](<https://devfeed.tech/tags/agentic-ai.md>), [agents](<https://devfeed.tech/tags/agents.md>), [ai-research-agents](<https://devfeed.tech/tags/ai-research-agents.md>), [benchmark](<https://devfeed.tech/tags/benchmark.md>), [benchmark-overfitting-machine-learning](<https://devfeed.tech/tags/benchmark-overfitting-machine-learning.md>), [compressibility-and-memorization](<https://devfeed.tech/tags/compressibility-and-memorization.md>), [compression-and-generalization](<https://devfeed.tech/tags/compression-and-generalization.md>), [generalization-in-machine-learning](<https://devfeed.tech/tags/generalization-in-machine-learning.md>), [generative-ai](<https://devfeed.tech/tags/generative-ai.md>), [information-bottleneck-overfitting](<https://devfeed.tech/tags/information-bottleneck-overfitting.md>), [language-models](<https://devfeed.tech/tags/language-models.md>), [llm-compression-theory](<https://devfeed.tech/tags/llm-compression-theory.md>), [machine-learning](<https://devfeed.tech/tags/machine-learning.md>), [machine-learning-overfitting](<https://devfeed.tech/tags/machine-learning-overfitting.md>), [machine-learning-research](<https://devfeed.tech/tags/machine-learning-research.md>), [occam-s-razor-machine-learning](<https://devfeed.tech/tags/occam-s-razor-machine-learning.md>), [research](<https://devfeed.tech/tags/research.md>), [validation](<https://devfeed.tech/tags/validation.md>), [why-don-t-ml-models-overfit-on-benchmarks](<https://devfeed.tech/tags/why-don-t-ml-models-overfit-on-benchmarks.md>)

### AI overview

The article explains why repeated evaluation on held-out benchmarks can cause overfitting, then frames the apparent contradiction in machine learning research, where benchmark-driven iteration is widespread. It also summarizes research suggesting that compressible models limit memorization.

### Source excerpt

New research indicates that AI agents learn compressible models of data, which don't have enough space to enable memorization.

## Developing provably correct Rust code with Verus

DevFeed: [Developing provably correct Rust code with Verus](<https://devfeed.tech/articles/developing-provably-correct-rust-code-with-verus-7596.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus>)

Author: Bryan Parno

Published: 2026-08-31T15:35:33Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Rust formal verification](<https://devfeed.tech/topics/rust-formal-verification.md>), [Vulnerabilities](<https://devfeed.tech/topics/vulnerabilities.md>)

Tags: [amazon-elastic-compute](<https://devfeed.tech/tags/amazon-elastic-compute.md>), [automated-reasoning](<https://devfeed.tech/tags/automated-reasoning.md>), [aws-lambda](<https://devfeed.tech/tags/aws-lambda.md>), [code](<https://devfeed.tech/tags/code.md>), [firecracker](<https://devfeed.tech/tags/firecracker.md>), [formal-methods](<https://devfeed.tech/tags/formal-methods.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [open-source](<https://devfeed.tech/tags/open-source.md>), [rust](<https://devfeed.tech/tags/rust.md>), [security](<https://devfeed.tech/tags/security.md>), [testing](<https://devfeed.tech/tags/testing.md>)

### AI overview

The article explains how Verus formally verifies Rust code against mathematical specifications, helping establish correctness beyond what Rust safety checks and conventional tests provide.

### Source excerpt

How the Verus "program verifier", which automatically checks code against a mathematical specification of its functionality, helps increase security assurance in software projects.

## When LLM judges agree, should we believe them?

DevFeed: [When LLM judges agree, should we believe them?](<https://devfeed.tech/articles/when-llm-judges-agree-should-we-believe-them-7609.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/when-llm-judges-agree-should-we-believe-them>)

Author: Krishna Balasubramanian; Sasha Podkopaev

Published: 2026-08-26T17:10:40Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Large Language Model](<https://devfeed.tech/topics/llm.md>), [Retrieval-Augmented Generation](<https://devfeed.tech/topics/retrieval-augmented-generation.md>), [Ising](<https://devfeed.tech/topics/ising.md>), [benchmark overfitting machine learning](<https://devfeed.tech/topics/benchmark-overfitting-machine-learning.md>), [Network](<https://devfeed.tech/topics/network.md>), [AI, ML & Data Engineering](<https://devfeed.tech/topics/ai-ml-data-engineering.md>)

Tags: [conversational-ai](<https://devfeed.tech/tags/conversational-ai.md>), [evaluation](<https://devfeed.tech/tags/evaluation.md>), [ising](<https://devfeed.tech/tags/ising.md>), [large-language-models-llms](<https://devfeed.tech/tags/large-language-models-llms.md>), [llm](<https://devfeed.tech/tags/llm.md>), [machine-learning](<https://devfeed.tech/tags/machine-learning.md>), [metrics](<https://devfeed.tech/tags/metrics.md>), [retrieval](<https://devfeed.tech/tags/retrieval.md>), [retrieval-augmented-generation](<https://devfeed.tech/tags/retrieval-augmented-generation.md>)

### AI overview

The article examines whether agreement among LLM judges is trustworthy when their outputs may be correlated. It presents a dependence-aware aggregation method based on Ising models that discounts shared blind spots and outperforms historical-accuracy-weighted majority voting on three tasks.

### Source excerpt

Discounting the opinions of LLM judges with highly correlated outputs ensures that panels of judges reflect a true diversity of perspectives.

## SOP-Bench: A new benchmark for evaluating AI agents on real business procedures

DevFeed: [SOP-Bench: A new benchmark for evaluating AI agents on real business procedures](<https://devfeed.tech/articles/sop-bench-a-new-benchmark-for-evaluating-ai-agents-on-real-business-procedures-7607.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/sop-bench-a-new-benchmark-for-evaluating-ai-agents-on-real-business-procedures>)

Author: Rohith Nama; Nandi Subhrangshu

Published: 2026-08-21T15:57:17Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Benchmark](<https://devfeed.tech/topics/benchmark.md>), [Artificial Intelligence](<https://devfeed.tech/topics/ai.md>), [Ground truth / benchmark quality](<https://devfeed.tech/topics/ground-truth-benchmark-quality.md>)

Tags: [agentic-ai](<https://devfeed.tech/tags/agentic-ai.md>), [ai](<https://devfeed.tech/tags/ai.md>), [ai-agents](<https://devfeed.tech/tags/ai-agents.md>), [benchmark](<https://devfeed.tech/tags/benchmark.md>), [benchmarks](<https://devfeed.tech/tags/benchmarks.md>), [conversational-ai](<https://devfeed.tech/tags/conversational-ai.md>), [testing](<https://devfeed.tech/tags/testing.md>)

### AI overview

SOP-Bench is an openly available benchmark for evaluating how well AI agents execute real standard operating procedures authored by domain experts. It combines genuine enterprise procedures, functioning tools, and ground-truth answers to test interpretation, memory, judgment, and tool selection during complete procedures.

### Source excerpt

Extendable framework enables testing agents on the full set of capabilities required to successfully complete a procedure, not isolated proxy tasks.

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

DevFeed: [A decade of mathematical certainty: Reflections on the Automated Reasoning Group](<https://devfeed.tech/articles/a-decade-of-mathematical-certainty-reflections-on-the-automated-reasoning-group-7591.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/a-decade-of-mathematical-certainty-reflections-on-the-automated-reasoning-group>)

Author: Byron Cook

Published: 2026-08-11T16:22:19Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Automated reasoning](<https://devfeed.tech/topics/automated-reasoning.md>), [Formal verification](<https://devfeed.tech/topics/formal-verification.md>), [Math and Logic](<https://devfeed.tech/topics/math-and-logic.md>), [systems](<https://devfeed.tech/topics/systems.md>), [Amazon Web Services](<https://devfeed.tech/topics/aws.md>), [VPC](<https://devfeed.tech/topics/vpc.md>), [network security](<https://devfeed.tech/topics/network-security.md>), [Security](<https://devfeed.tech/topics/security.md>), [AWS IAM](<https://devfeed.tech/topics/aws-iam.md>), [Amazon S3](<https://devfeed.tech/topics/amazon-s3.md>), [Cloud](<https://devfeed.tech/topics/cloud.md>), [amazon](<https://devfeed.tech/topics/amazon.md>)

Tags: [agentic-ai](<https://devfeed.tech/tags/agentic-ai.md>), [amazon](<https://devfeed.tech/tags/amazon.md>), [amazon-web-services-aws](<https://devfeed.tech/tags/amazon-web-services-aws.md>), [automated-reasoning](<https://devfeed.tech/tags/automated-reasoning.md>), [aws](<https://devfeed.tech/tags/aws.md>), [compliance](<https://devfeed.tech/tags/compliance.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [network-security](<https://devfeed.tech/tags/network-security.md>), [security](<https://devfeed.tech/tags/security.md>), [security-privacy-and-abuse-prevention](<https://devfeed.tech/tags/security-privacy-and-abuse-prevention.md>), [vpc](<https://devfeed.tech/tags/vpc.md>), [vulnerabilities](<https://devfeed.tech/tags/vulnerabilities.md>)

### AI overview

Amazon's Automated Reasoning Group reflects on a decade of applying mathematical logic, formal verification, and program analysis to AWS security and reliability. The article describes how research projects became production systems, including Tiros for VPC and network analysis and Zelkova for analyzing policies, S3 Block Public Access, and IAM Access Analyzer.

### Source excerpt

Ten years after we founded the Automated Reasoning Group, mathematical logic has moved from academic research into production services that secure millions of customer workloads -- demonstrating that systems can be provably correct, not just probably correct.

## AWS Trainium Frontier competition: Co-design models and kernels on purpose-built AI chips

DevFeed: [AWS Trainium Frontier competition: Co-design models and kernels on purpose-built AI chips](<https://devfeed.tech/articles/aws-trainium-frontier-competition-co-design-models-and-kernels-on-purpose-built-ai-chips-7612.md>)

Original publisher: [Read original article](<https://www.amazon.science/news/aws-trainium-frontier-competition-co-design-models-and-kernels-on-purpose-built-ai-chips>)

Author: Louise Ping; John Gray; Emily Webber; Josh Longenecker

Published: 2026-08-10T20:23:04Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [AI Chat](<https://devfeed.tech/topics/ai-chat.md>)

Tags: [aws-trainium](<https://devfeed.tech/tags/aws-trainium.md>), [chip-design](<https://devfeed.tech/tags/chip-design.md>), [hardware](<https://devfeed.tech/tags/hardware.md>), [kernels](<https://devfeed.tech/tags/kernels.md>), [language-models](<https://devfeed.tech/tags/language-models.md>), [machine-learning](<https://devfeed.tech/tags/machine-learning.md>), [model-architecture](<https://devfeed.tech/tags/model-architecture.md>), [neurips](<https://devfeed.tech/tags/neurips.md>), [performance](<https://devfeed.tech/tags/performance.md>), [training](<https://devfeed.tech/tags/training.md>)

### AI overview

AWS Trainium Frontier is a competition for training language models from scratch on Trainium while co-designing architectures, optimizers, training loops, and optional custom kernels under fixed compute and time budgets.

### Source excerpt

A competition with a finalist ceremony during NeurIPS 2026, challenging researchers to train language models from scratch on Trainium, exploring what optimal architectures look like when the hardware changes.

## 34 Amazon Research Awards Build on Trainium recipients announced

DevFeed: [34 Amazon Research Awards Build on Trainium recipients announced](<https://devfeed.tech/articles/34-amazon-research-awards-build-on-trainium-recipients-announced-7614.md>)

Original publisher: [Read original article](<https://www.amazon.science/research-awards/latest-news/34-amazon-research-awards-build-on-trainium-recipients-announced>)

Author: Amazon Research Awards team

Published: 2026-08-05T15:00:00Z

Content type: news

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Artificial Intelligence](<https://devfeed.tech/topics/ai.md>), [responsible-ai](<https://devfeed.tech/topics/responsible-ai.md>), [AWS AI chips](<https://devfeed.tech/topics/aws-ai-chips.md>), [AI Research](<https://devfeed.tech/topics/ai-research.md>), [Optimization](<https://devfeed.tech/topics/optimization.md>), [Inference](<https://devfeed.tech/topics/inference.md>), [moe](<https://devfeed.tech/topics/moe.md>), [Large Language Model](<https://devfeed.tech/topics/llm.md>), [distributed-systems](<https://devfeed.tech/topics/distributed-systems.md>), [synthetic-data](<https://devfeed.tech/topics/synthetic-data.md>)

Tags: [academic-ai-funding](<https://devfeed.tech/tags/academic-ai-funding.md>), [ai](<https://devfeed.tech/tags/ai.md>), [ai-research](<https://devfeed.tech/tags/ai-research.md>), [ai-research-grants](<https://devfeed.tech/tags/ai-research-grants.md>), [ai-safety-and-alignment](<https://devfeed.tech/tags/ai-safety-and-alignment.md>), [amazon-research-awards](<https://devfeed.tech/tags/amazon-research-awards.md>), [ara](<https://devfeed.tech/tags/ara.md>), [aws-ai-chips](<https://devfeed.tech/tags/aws-ai-chips.md>), [aws-trainium](<https://devfeed.tech/tags/aws-trainium.md>), [build-on-trainium](<https://devfeed.tech/tags/build-on-trainium.md>), [data](<https://devfeed.tech/tags/data.md>), [deep-learning](<https://devfeed.tech/tags/deep-learning.md>), [distributed-systems](<https://devfeed.tech/tags/distributed-systems.md>), [inference](<https://devfeed.tech/tags/inference.md>), [internal-ara-program-updates](<https://devfeed.tech/tags/internal-ara-program-updates.md>), [llm](<https://devfeed.tech/tags/llm.md>), [machine-learning-research](<https://devfeed.tech/tags/machine-learning-research.md>), [mixture-of-experts](<https://devfeed.tech/tags/mixture-of-experts.md>), [optimization](<https://devfeed.tech/tags/optimization.md>), [research](<https://devfeed.tech/tags/research.md>), [responsible-ai](<https://devfeed.tech/tags/responsible-ai.md>), [synthetic](<https://devfeed.tech/tags/synthetic.md>), [synthetic-data-generation](<https://devfeed.tech/tags/synthetic-data-generation.md>)

### AI overview

Amazon announces 34 recipients of its Build on Trainium program, a $110 million credit initiative supporting AI research and university education. The awards fund work in areas including Responsible AI, language models, synthetic data, distributed systems, model architectures, libraries, and optimization on AWS Trainium.

### Source excerpt

Amazon announces 34 recipients of the Build on Trainium program, a $110 million credit initiative supporting AI research at 30 universities including Stanford, UC Berkeley, UIUC, UCLA, CMU, and MIT, with a focus on Responsible AI.

## How controllers from industrial machinery can coordinate multitask machine learning

DevFeed: [How controllers from industrial machinery can coordinate multitask machine learning](<https://devfeed.tech/articles/how-controllers-from-industrial-machinery-can-coordinate-multitask-machine-learning-7601.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/how-controllers-from-industrial-machinery-can-coordinate-multitask-machine-learning>)

Author: Theodore Vasiloudis

Published: 2026-07-30T17:26:47Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Machine Learning & Artificial Intelligence](<https://devfeed.tech/topics/machine-learning-artificial-intelligence.md>), [Graphs](<https://devfeed.tech/topics/graphs.md>), [Training AI Models](<https://devfeed.tech/topics/training-ai-models.md>), [Neural Network](<https://devfeed.tech/topics/neural-network.md>), [data](<https://devfeed.tech/topics/data.md>), [Algorithm](<https://devfeed.tech/topics/algorithm.md>), [systems](<https://devfeed.tech/topics/systems.md>)

Tags: [data](<https://devfeed.tech/tags/data.md>), [machine-learning](<https://devfeed.tech/tags/machine-learning.md>), [model](<https://devfeed.tech/tags/model.md>), [multitask-learning](<https://devfeed.tech/tags/multitask-learning.md>), [research](<https://devfeed.tech/tags/research.md>), [self-supervised-learning](<https://devfeed.tech/tags/self-supervised-learning.md>), [train](<https://devfeed.tech/tags/train.md>), [training](<https://devfeed.tech/tags/training.md>)

### AI overview

ControlG addresses conflicting objectives in graph self-supervised learning by allocating computational capacity to one objective at a time and using a proportional-integral-derivative controller to select which objective receives attention next.

### Source excerpt

Instead of compromising among parameter updates dictated by different training objectives, ControlG allocates computational capacity to objectives sequentially and dynamically.

## A new benchmark for evaluating patient-facing health AI agents

DevFeed: [A new benchmark for evaluating patient-facing health AI agents](<https://devfeed.tech/articles/a-new-benchmark-for-evaluating-patient-facing-health-ai-agents-7592.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/a-new-benchmark-for-evaluating-patient-facing-health-ai-agents>)

Author: Korosh Vatanparvar; Ashutosh Joshi

Published: 2026-07-29T15:16:52Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [AI Bots](<https://devfeed.tech/topics/ai-bots.md>)

Tags: [agentic-ai](<https://devfeed.tech/tags/agentic-ai.md>), [agents](<https://devfeed.tech/tags/agents.md>), [ai](<https://devfeed.tech/tags/ai.md>), [benchmark](<https://devfeed.tech/tags/benchmark.md>), [conversational-ai](<https://devfeed.tech/tags/conversational-ai.md>), [evaluation](<https://devfeed.tech/tags/evaluation.md>), [foundation-models](<https://devfeed.tech/tags/foundation-models.md>), [health](<https://devfeed.tech/tags/health.md>), [healthcare](<https://devfeed.tech/tags/healthcare.md>), [safety](<https://devfeed.tech/tags/safety.md>), [synthetic](<https://devfeed.tech/tags/synthetic.md>)

### AI overview

The article introduces PatientAgentBench, a clinician-vetted benchmark for evaluating the safety and task performance of patient-facing healthcare AI agents in realistic, multiturn conversations.

### Source excerpt

PatientAgentBench generates a synthetic patient health record, a realistic clinical vignette, and a patient agent that converses with the AI system under evaluation, to capture what a patient-facing agent actually has to do.

## Amazon is investing in the Lean Focused Research Organization

DevFeed: [Amazon is investing in the Lean Focused Research Organization](<https://devfeed.tech/articles/amazon-is-investing-in-the-lean-focused-research-organization-7611.md>)

Original publisher: [Read original article](<https://www.amazon.science/news/amazon-is-investing-in-the-lean-focused-research-organization>)

Author: Byron Cook; Shawn Bice

Published: 2026-07-26T08:00:00Z

Content type: news

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [AI Bots](<https://devfeed.tech/topics/ai-bots.md>), [AI Chat](<https://devfeed.tech/topics/ai-chat.md>)

Tags: [agents](<https://devfeed.tech/tags/agents.md>), [ai-agents](<https://devfeed.tech/tags/ai-agents.md>), [amazon](<https://devfeed.tech/tags/amazon.md>), [amazon-aurora](<https://devfeed.tech/tags/amazon-aurora.md>), [amazon-bedrock](<https://devfeed.tech/tags/amazon-bedrock.md>), [amazon-bedrock-agentcore](<https://devfeed.tech/tags/amazon-bedrock-agentcore.md>), [amazon-web-services-aws](<https://devfeed.tech/tags/amazon-web-services-aws.md>), [automated-reasoning](<https://devfeed.tech/tags/automated-reasoning.md>), [aws](<https://devfeed.tech/tags/aws.md>), [developer](<https://devfeed.tech/tags/developer.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [generative-ai](<https://devfeed.tech/tags/generative-ai.md>), [large-language-models-llms](<https://devfeed.tech/tags/large-language-models-llms.md>), [llm](<https://devfeed.tech/tags/llm.md>), [programming](<https://devfeed.tech/tags/programming.md>), [programming-language](<https://devfeed.tech/tags/programming-language.md>), [research](<https://devfeed.tech/tags/research.md>), [responsible-ai](<https://devfeed.tech/tags/responsible-ai.md>), [safety](<https://devfeed.tech/tags/safety.md>), [software-testing](<https://devfeed.tech/tags/software-testing.md>), [testing](<https://devfeed.tech/tags/testing.md>), [trustworthy-ai](<https://devfeed.tech/tags/trustworthy-ai.md>)

### AI overview

Amazon is making a long-term investment in the Lean Focused Research Organization to advance Lean, a programming language for mathematical correctness proofs. The article highlights Lean-based verification for safer AI agents and AWS systems.

### Source excerpt

As AI agents take on higher-stakes decisions, Lean programming language makes it possible to mathematically prove they will behave safely.

## Amazon and University of Michigan give robots a sense of touch

DevFeed: [Amazon and University of Michigan give robots a sense of touch](<https://devfeed.tech/articles/amazon-and-university-of-michigan-give-robots-a-sense-of-touch-7593.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/amazon-and-university-of-michigan-give-robots-a-sense-of-touch>)

Author: Mani Nambi; Nima Fazeli

Published: 2026-07-10T17:13:31Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [contact-rich manipulation](<https://devfeed.tech/topics/contact-rich-manipulation.md>)

Tags: [amazon](<https://devfeed.tech/tags/amazon.md>), [amazon-robotics-research](<https://devfeed.tech/tags/amazon-robotics-research.md>), [contact-rich-manipulation](<https://devfeed.tech/tags/contact-rich-manipulation.md>), [dataset-development](<https://devfeed.tech/tags/dataset-development.md>), [dexterous-robot-manipulation](<https://devfeed.tech/tags/dexterous-robot-manipulation.md>), [gelsight-mini-sensor](<https://devfeed.tech/tags/gelsight-mini-sensor.md>), [hydroelastic-contact-model](<https://devfeed.tech/tags/hydroelastic-contact-model.md>), [hydroshear-simulator](<https://devfeed.tech/tags/hydroshear-simulator.md>), [physics](<https://devfeed.tech/tags/physics.md>), [reinforcement-learning](<https://devfeed.tech/tags/reinforcement-learning.md>), [reinforcement-learning-robotics](<https://devfeed.tech/tags/reinforcement-learning-robotics.md>), [robot-grasping-simulation](<https://devfeed.tech/tags/robot-grasping-simulation.md>), [robot-sense-of-touch](<https://devfeed.tech/tags/robot-sense-of-touch.md>), [robotic-manipulation](<https://devfeed.tech/tags/robotic-manipulation.md>), [robotics](<https://devfeed.tech/tags/robotics.md>), [robots](<https://devfeed.tech/tags/robots.md>), [sim-to-real-transfer-robotics](<https://devfeed.tech/tags/sim-to-real-transfer-robotics.md>), [training](<https://devfeed.tech/tags/training.md>)

### AI overview

HydroShear is a physics-based tactile-force simulator that trains robots for dexterous, contact-rich manipulation in simulation and transfers the resulting policies to real-world tasks.

### Source excerpt

HydroShear, a new physics-based simulator, teaches robots how to use their sense of touch to perform complex manipulation tasks, in a way that transfers seamlessly to the real world.

## Capturing token IDs during agentic interactions for better reinforcement learning

DevFeed: [Capturing token IDs during agentic interactions for better reinforcement learning](<https://devfeed.tech/articles/capturing-token-ids-during-agentic-interactions-for-better-reinforcement-learning-7595.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/capturing-token-ids-during-agentic-interactions-for-better-reinforcement-learning>)

Author: Frederick Robinson

Published: 2026-07-09T12:46:00Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Reinforcement learning](<https://devfeed.tech/topics/reinforcement-learning.md>), [Agent Harness](<https://devfeed.tech/topics/agent-harness.md>), [tokenization](<https://devfeed.tech/topics/tokenization.md>), [Language models](<https://devfeed.tech/topics/language-models.md>), [Rust](<https://devfeed.tech/topics/rust.md>), [computer-use](<https://devfeed.tech/topics/computer-use.md>), [multimodal](<https://devfeed.tech/topics/multimodal.md>)

Tags: [agent](<https://devfeed.tech/tags/agent.md>), [agentic](<https://devfeed.tech/tags/agentic.md>), [agentic-ai](<https://devfeed.tech/tags/agentic-ai.md>), [amazon-agi-lab](<https://devfeed.tech/tags/amazon-agi-lab.md>), [computer-use](<https://devfeed.tech/tags/computer-use.md>), [dataset-development](<https://devfeed.tech/tags/dataset-development.md>), [language-models](<https://devfeed.tech/tags/language-models.md>), [machine-learning](<https://devfeed.tech/tags/machine-learning.md>), [model](<https://devfeed.tech/tags/model.md>), [multimodal](<https://devfeed.tech/tags/multimodal.md>), [reinforcement-learning](<https://devfeed.tech/tags/reinforcement-learning.md>), [rust](<https://devfeed.tech/tags/rust.md>), [tokens](<https://devfeed.tech/tags/tokens.md>), [training](<https://devfeed.tech/tags/training.md>)

### AI overview

This article explains how Turnstile, a Rust proxy placed between an agent harness and a model backend, captures exact token IDs during generation. The recorded token-level trajectories preserve information that text transcripts can lose and can be passed into reinforcement-learning training stacks. Reported validations cover a text-only coding agent and a multimodal computer-use agent whose performance improved during RL runs.

### Source excerpt

A new Rust proxy called Turnstile sits between the model backend and the agent harness to capture information lost in mere text transcripts.

## How Amazon tracks carbon intensity across its operations

DevFeed: [How Amazon tracks carbon intensity across its operations](<https://devfeed.tech/articles/how-amazon-tracks-carbon-intensity-across-its-operations-7613.md>)

Original publisher: [Read original article](<https://www.amazon.science/news/how-amazon-tracks-carbon-intensity-across-its-operations>)

Author: Kerry Constabile

Published: 2026-07-01T15:56:42Z

Content type: news

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [amazon](<https://devfeed.tech/topics/amazon.md>), [data](<https://devfeed.tech/topics/data.md>), [Cloud](<https://devfeed.tech/topics/cloud.md>), [Routing (disambiguation)](<https://devfeed.tech/topics/routing.md>)

Tags: [amazon](<https://devfeed.tech/tags/amazon.md>), [amazon-sustainability-report](<https://devfeed.tech/tags/amazon-sustainability-report.md>), [cloud-services](<https://devfeed.tech/tags/cloud-services.md>), [data](<https://devfeed.tech/tags/data.md>), [decarbonization](<https://devfeed.tech/tags/decarbonization.md>), [energy](<https://devfeed.tech/tags/energy.md>), [operations](<https://devfeed.tech/tags/operations.md>), [renewable-energy](<https://devfeed.tech/tags/renewable-energy.md>), [routing](<https://devfeed.tech/tags/routing.md>), [scale](<https://devfeed.tech/tags/scale.md>), [sustainability](<https://devfeed.tech/tags/sustainability.md>), [the-climate-pledge](<https://devfeed.tech/tags/the-climate-pledge.md>), [transportation](<https://devfeed.tech/tags/transportation.md>)

### AI overview

Amazon describes its use of sector-specific carbon-intensity metrics to track decarbonization across diverse operations. For retail, it measures emissions per unit shipped and reports a 39% reduction from 2019 to the end of 2025, attributing progress to carbon-free energy, routing improvements, lighter packaging, lower-carbon fuels, alternative transportation, and electric vehicles.

### Source excerpt

Amazon is developing precise, sector-specific approaches to measuring decarbonization progress -- starting with emissions per unit shipped.

## The fuel of the future is already here: Why TRISO matters

DevFeed: [The fuel of the future is already here: Why TRISO matters](<https://devfeed.tech/articles/the-fuel-of-the-future-is-already-here-why-triso-matters-7608.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/the-fuel-of-the-future-is-already-here-why-triso-matters>)

Author: Katy Huff

Published: 2026-06-24T19:57:09Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [AI Infrastructure](<https://devfeed.tech/topics/ai-infrastructure.md>), [amazon](<https://devfeed.tech/topics/amazon.md>), [cloud-computing](<https://devfeed.tech/topics/cloud-computing.md>)

Tags: [advanced-nuclear-reactors](<https://devfeed.tech/tags/advanced-nuclear-reactors.md>), [advanced-reactor-fuel-fabrication](<https://devfeed.tech/tags/advanced-reactor-fuel-fabrication.md>), [ai-infrastructure](<https://devfeed.tech/tags/ai-infrastructure.md>), [amazon](<https://devfeed.tech/tags/amazon.md>), [amazon-nuclear-energy](<https://devfeed.tech/tags/amazon-nuclear-energy.md>), [clean-energy-data-centers](<https://devfeed.tech/tags/clean-energy-data-centers.md>), [cloud-computing](<https://devfeed.tech/tags/cloud-computing.md>), [decarbonization](<https://devfeed.tech/tags/decarbonization.md>), [durability](<https://devfeed.tech/tags/durability.md>), [energy](<https://devfeed.tech/tags/energy.md>), [haleu](<https://devfeed.tech/tags/haleu.md>), [integrity](<https://devfeed.tech/tags/integrity.md>), [modular-nuclear-reactors](<https://devfeed.tech/tags/modular-nuclear-reactors.md>), [nuclear-energy-for-ai](<https://devfeed.tech/tags/nuclear-energy-for-ai.md>), [physical-science](<https://devfeed.tech/tags/physical-science.md>), [renewable-energy](<https://devfeed.tech/tags/renewable-energy.md>), [resilience](<https://devfeed.tech/tags/resilience.md>), [safety](<https://devfeed.tech/tags/safety.md>), [science](<https://devfeed.tech/tags/science.md>), [sustainability](<https://devfeed.tech/tags/sustainability.md>), [triso-fuel](<https://devfeed.tech/tags/triso-fuel.md>), [triso-particles](<https://devfeed.tech/tags/triso-particles.md>), [x-energy-xe-100](<https://devfeed.tech/tags/x-energy-xe-100.md>)

### AI overview

Amazon explains how TRISO nuclear fuel particles use layered carbon and ceramic coatings to contain radioactive byproducts and withstand extreme temperatures. The article connects the technology to rising energy demands from AI infrastructure and cloud computing, citing testing that found no detectable failures at 1600°C for 300 hours.

### Source excerpt

Millimeter-scale particles of nuclear-reactor fuel are encased in four layers of different materials that act as a "miniature containment system".

## EC2's formally verified "isolation engine" provides mathematical assurance of virtual-machine isolation

DevFeed: [EC2's formally verified "isolation engine" provides mathematical assurance of virtual-machine isolation](<https://devfeed.tech/articles/ec2-s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation-7598.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation>)

Author: Dominic Mulligan; Nathan Chong

Published: 2026-06-10T15:00:00Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Amazon EC2](<https://devfeed.tech/topics/amazon-ec2.md>), [Rust formal verification](<https://devfeed.tech/topics/rust-formal-verification.md>)

Tags: [amazon-web-services-aws](<https://devfeed.tech/tags/amazon-web-services-aws.md>), [autocorrode-library](<https://devfeed.tech/tags/autocorrode-library.md>), [automated-reasoning](<https://devfeed.tech/tags/automated-reasoning.md>), [aws-graviton5-security](<https://devfeed.tech/tags/aws-graviton5-security.md>), [cloud-and-systems](<https://devfeed.tech/tags/cloud-and-systems.md>), [confidentiality-integrity-proofs](<https://devfeed.tech/tags/confidentiality-integrity-proofs.md>), [ec2-virtual-machine-security](<https://devfeed.tech/tags/ec2-virtual-machine-security.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [formally-verified-hypervisor](<https://devfeed.tech/tags/formally-verified-hypervisor.md>), [isabelle-hol-proof-assistant](<https://devfeed.tech/tags/isabelle-hol-proof-assistant.md>), [kernel](<https://devfeed.tech/tags/kernel.md>), [memory-safety-verification](<https://devfeed.tech/tags/memory-safety-verification.md>), [nitro-isolation-engine](<https://devfeed.tech/tags/nitro-isolation-engine.md>), [nitro-system](<https://devfeed.tech/tags/nitro-system.md>), [provable-security](<https://devfeed.tech/tags/provable-security.md>), [rust](<https://devfeed.tech/tags/rust.md>), [rust-formal-verification](<https://devfeed.tech/tags/rust-formal-verification.md>), [security](<https://devfeed.tech/tags/security.md>), [security-privacy-and-abuse-prevention](<https://devfeed.tech/tags/security-privacy-and-abuse-prevention.md>)

### AI overview

Amazon describes formally verifying the Nitro Isolation Engine, a separation-kernel component that enforces isolation between EC2 virtual machines. The verification uses Isabelle/HOL and is deployed as an always-on feature for Graviton5 users.

### Source excerpt

Splitting the "separation kernel" off from the rest of the Nitro security system and using only a subset of the Rust programming language to code it enabled its formal verification.

## Graviton5's improved design increases speed and energy efficiency -- beyond Moore's law

DevFeed: [Graviton5's improved design increases speed and energy efficiency -- beyond Moore's law](<https://devfeed.tech/articles/graviton5-s-improved-design-increases-speed-and-energy-efficiency-beyond-moore-s-law-7599.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/graviton5s-improved-design-increases-speed-and-energy-efficiency-beyond-moores-law>)

Author: Ali Saidi

Published: 2026-06-10T15:00:00Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [cpu](<https://devfeed.tech/topics/cpu.md>), [Amazon EC2](<https://devfeed.tech/topics/amazon-ec2.md>)

Tags: [amazon-elastic-compute](<https://devfeed.tech/tags/amazon-elastic-compute.md>), [architecture](<https://devfeed.tech/tags/architecture.md>), [cache](<https://devfeed.tech/tags/cache.md>), [chip-design](<https://devfeed.tech/tags/chip-design.md>), [cloud-and-systems](<https://devfeed.tech/tags/cloud-and-systems.md>), [cpu](<https://devfeed.tech/tags/cpu.md>), [design](<https://devfeed.tech/tags/design.md>), [energy-efficiency](<https://devfeed.tech/tags/energy-efficiency.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [graviton](<https://devfeed.tech/tags/graviton.md>), [hardware](<https://devfeed.tech/tags/hardware.md>), [memory](<https://devfeed.tech/tags/memory.md>), [performance](<https://devfeed.tech/tags/performance.md>), [speed](<https://devfeed.tech/tags/speed.md>)

### AI overview

Amazon describes Graviton5 CPU and M9g/M9gd EC2 instances, highlighting more cores, faster memory and interconnects, improved branch prediction, and expanded cache capacity.

### Source excerpt

A new chiplet architecture, custom die-to-die connectivity, and support for DDR5-8800 memory and the latest PCIe gen6 interconnects improve performance by 25% for general-purpose and agentic AI workloads.

## Real-world grounding in agentic AI

DevFeed: [Real-world grounding in agentic AI](<https://devfeed.tech/articles/real-world-grounding-in-agentic-ai-7606.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/real-world-grounding-in-agentic-ai>)

Author: Rose Yu

Published: 2026-06-08T19:00:00Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [AI Bots](<https://devfeed.tech/topics/ai-bots.md>), [dashboards](<https://devfeed.tech/topics/dashboards.md>)

Tags: [agentic-ai](<https://devfeed.tech/tags/agentic-ai.md>), [agentic-ai-grounding](<https://devfeed.tech/tags/agentic-ai-grounding.md>), [ai](<https://devfeed.tech/tags/ai.md>), [ai-agent-hallucinations](<https://devfeed.tech/tags/ai-agent-hallucinations.md>), [ai-agents](<https://devfeed.tech/tags/ai-agents.md>), [calibrated-uncertainty](<https://devfeed.tech/tags/calibrated-uncertainty.md>), [formal-verification-ai](<https://devfeed.tech/tags/formal-verification-ai.md>), [foundation-models-physical-ai](<https://devfeed.tech/tags/foundation-models-physical-ai.md>), [hallucinations](<https://devfeed.tech/tags/hallucinations.md>), [large-language-models-llms](<https://devfeed.tech/tags/large-language-models-llms.md>), [machine-learning](<https://devfeed.tech/tags/machine-learning.md>), [physical-ai](<https://devfeed.tech/tags/physical-ai.md>), [physics-guided-deep-learning](<https://devfeed.tech/tags/physics-guided-deep-learning.md>), [robotics](<https://devfeed.tech/tags/robotics.md>), [robots](<https://devfeed.tech/tags/robots.md>), [uncertainty-quantification-llms](<https://devfeed.tech/tags/uncertainty-quantification-llms.md>)

### AI overview

The article proposes four approaches for grounding AI agents in physical-world operational environments. It argues that integrating domain data, physical principles, and simulations can reduce harmful hallucinations and improve safe, trustworthy agent behavior.

### Source excerpt

Four approaches can dramatically improve the performance and trustworthiness of AI agents in operational environments.

## Bridging intent and execution in agentic systems

DevFeed: [Bridging intent and execution in agentic systems](<https://devfeed.tech/articles/bridging-intent-and-execution-in-agentic-systems-7594.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/bridging-intent-and-execution-in-agentic-systems>)

Author: Gaurav Gupta; Vatshank Chaturvedi

Published: 2026-06-08T17:00:00Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Agent Harness](<https://devfeed.tech/topics/agent-harness.md>), [AI Agent](<https://devfeed.tech/topics/ai-agent.md>), [systems](<https://devfeed.tech/topics/systems.md>), [Large Language Model](<https://devfeed.tech/topics/llm.md>), [Terminal](<https://devfeed.tech/topics/terminal.md>), [cloud-infrastructure](<https://devfeed.tech/topics/cloud-infrastructure.md>), [Open Source](<https://devfeed.tech/topics/open-source.md>), [Code](<https://devfeed.tech/topics/code.md>)

Tags: [agent](<https://devfeed.tech/tags/agent.md>), [agentic](<https://devfeed.tech/tags/agentic.md>), [agentic-ai](<https://devfeed.tech/tags/agentic-ai.md>), [ai](<https://devfeed.tech/tags/ai.md>), [ai-agent](<https://devfeed.tech/tags/ai-agent.md>), [benchmarks](<https://devfeed.tech/tags/benchmarks.md>), [cloud-and-systems](<https://devfeed.tech/tags/cloud-and-systems.md>), [code](<https://devfeed.tech/tags/code.md>), [conversational-ai](<https://devfeed.tech/tags/conversational-ai.md>), [infrastructure](<https://devfeed.tech/tags/infrastructure.md>), [llm](<https://devfeed.tech/tags/llm.md>), [software](<https://devfeed.tech/tags/software.md>), [tools](<https://devfeed.tech/tags/tools.md>)

### AI overview

The article argues that performance in agentic systems is fundamentally a systems problem involving the interaction between a large language model and its harness. It defines the intent-execution gap between model intentions and harness actions, shows that reducing this gap can improve benchmark results without task-specific tuning, and emphasizes the effects of tools, execution graphs, infrastructure, timeouts, and resource constraints. It also introduces Simple Strands Agent (SSA), a lightweight customizable harness, and argues that model-harness codesign is important because model families differ in tool use and feedback interpretation.

### Source excerpt

The harnesses that mediate between models and tools in agentic systems are becoming their own performance bottleneck, but a few simple design principles can fix what ails them.

## Ground truth is a process, not a dataset

DevFeed: [Ground truth is a process, not a dataset](<https://devfeed.tech/articles/ground-truth-is-a-process-not-a-dataset-7600.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/ground-truth-is-a-process-not-a-dataset>)

Author: Venkatesh Saligrama

Published: 2026-06-03T15:56:57Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [ai observability](<https://devfeed.tech/topics/ai-observability.md>), [AI Chat](<https://devfeed.tech/topics/ai-chat.md>)

Tags: [ai](<https://devfeed.tech/tags/ai.md>), [ai-fact-checking](<https://devfeed.tech/tags/ai-fact-checking.md>), [ai-generated-research-reports](<https://devfeed.tech/tags/ai-generated-research-reports.md>), [audit-then-score](<https://devfeed.tech/tags/audit-then-score.md>), [benchmarking](<https://devfeed.tech/tags/benchmarking.md>), [conversational-ai](<https://devfeed.tech/tags/conversational-ai.md>), [datasets](<https://devfeed.tech/tags/datasets.md>), [deep-research-verification](<https://devfeed.tech/tags/deep-research-verification.md>), [deepfact-bench](<https://devfeed.tech/tags/deepfact-bench.md>), [evaluation](<https://devfeed.tech/tags/evaluation.md>), [fact-verification](<https://devfeed.tech/tags/fact-verification.md>), [fact-verification-benchmark](<https://devfeed.tech/tags/fact-verification-benchmark.md>), [generative-ai](<https://devfeed.tech/tags/generative-ai.md>), [ground-truth-benchmark-quality](<https://devfeed.tech/tags/ground-truth-benchmark-quality.md>), [hallucination-detection](<https://devfeed.tech/tags/hallucination-detection.md>), [hallucinations](<https://devfeed.tech/tags/hallucinations.md>), [human-ai-evaluation](<https://devfeed.tech/tags/human-ai-evaluation.md>), [large-language-models-llms](<https://devfeed.tech/tags/large-language-models-llms.md>), [llm-evaluation-benchmarking](<https://devfeed.tech/tags/llm-evaluation-benchmarking.md>), [long-context](<https://devfeed.tech/tags/long-context.md>), [machine-learning](<https://devfeed.tech/tags/machine-learning.md>), [responsible-ai](<https://devfeed.tech/tags/responsible-ai.md>), [retrieval-augmented-generation-rag](<https://devfeed.tech/tags/retrieval-augmented-generation-rag.md>)

### AI overview

The article argues that evaluating factuality in long AI-generated research reports requires a process-based approach to ground truth. It introduces audit-then-score and accompanying datasets for benchmarking AI fact checkers.

### Source excerpt

Automatically fact-checking long, AI-generated research reports poses new challenges -- including benchmarking.

## How flat is replacing fat in AWS data center networks

DevFeed: [How flat is replacing fat in AWS data center networks](<https://devfeed.tech/articles/how-flat-is-replacing-fat-in-aws-data-center-networks-7602.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/how-flat-is-replacing-fat-in-aws-data-center-networks>)

Author: Giacomo Bernardi; Ratul Mahajan; Seshadhri Comandur

Published: 2026-05-28T10:30:00Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [networking](<https://devfeed.tech/topics/networking.md>), [Network architectures](<https://devfeed.tech/topics/network-architectures.md>)

Tags: [aws](<https://devfeed.tech/tags/aws.md>), [aws-data-center-network-architecture](<https://devfeed.tech/tags/aws-data-center-network-architecture.md>), [cloud-and-systems](<https://devfeed.tech/tags/cloud-and-systems.md>), [data-center](<https://devfeed.tech/tags/data-center.md>), [fat-tree-network-replacement](<https://devfeed.tech/tags/fat-tree-network-replacement.md>), [flat-network-topology](<https://devfeed.tech/tags/flat-network-topology.md>), [network-design](<https://devfeed.tech/tags/network-design.md>), [networking](<https://devfeed.tech/tags/networking.md>), [networks](<https://devfeed.tech/tags/networks.md>), [quasi-random-network-topology](<https://devfeed.tech/tags/quasi-random-network-topology.md>), [resilience](<https://devfeed.tech/tags/resilience.md>), [routing](<https://devfeed.tech/tags/routing.md>)

### AI overview

The article describes AWS's scalable flat data-center network, using quasi-random topology and ShuffleBoxes to replace conventional fat-tree designs.

### Source excerpt

"Quasi-random" network topologies and new passive optical components called ShuffleBoxes make more-efficient flat networks as practical as traditional "fat-tree" networks.

## Amazon Research Awards recipients announced

DevFeed: [Amazon Research Awards recipients announced](<https://devfeed.tech/articles/amazon-research-awards-recipients-announced-7615.md>)

Original publisher: [Read original article](<https://www.amazon.science/research-awards/latest-news/fall-2025-amazon-research-awards-recipients-announced>)

Author: Amazon Research Awards team

Published: 2026-05-27T17:21:51Z

Content type: news

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Security, Privacy and Abuse Prevention](<https://devfeed.tech/topics/security-privacy-and-abuse-prevention.md>), [Cryptography](<https://devfeed.tech/topics/cryptography.md>)

Tags: [agentic-ai](<https://devfeed.tech/tags/agentic-ai.md>), [ai-ml](<https://devfeed.tech/tags/ai-ml.md>), [amazon](<https://devfeed.tech/tags/amazon.md>), [amazon-research-awards](<https://devfeed.tech/tags/amazon-research-awards.md>), [automated-reasoning](<https://devfeed.tech/tags/automated-reasoning.md>), [aws](<https://devfeed.tech/tags/aws.md>), [cryptography](<https://devfeed.tech/tags/cryptography.md>), [cybersecurity](<https://devfeed.tech/tags/cybersecurity.md>), [datasets](<https://devfeed.tech/tags/datasets.md>), [internal-ara-program-updates](<https://devfeed.tech/tags/internal-ara-program-updates.md>), [research](<https://devfeed.tech/tags/research.md>)

### AI overview

Amazon announced 70 Fall 2025 Research Awards recipients from 49 universities in 11 countries. The funded calls span AI for information security, agentic AI, automated reasoning, cryptography, cybersecurity and anti-abuse technologies, and sustainability.

### Source excerpt

Awardees represent more than 49 universities in 11 countries. Recipients have access to Amazon public datasets, along with AWS AI/ML services and tools.

## Diverse reasoning traces teach LLMs to make better decisions

DevFeed: [Diverse reasoning traces teach LLMs to make better decisions](<https://devfeed.tech/articles/diverse-reasoning-traces-teach-llms-to-make-better-decisions-7597.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/diverse-reasoning-traces-teach-llms-to-make-better-decisions>)

Author: Sheng Jia; Xiao Wang; Shiva Kasiviswanathan

Published: 2026-05-26T15:17:06Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Language models](<https://devfeed.tech/topics/language-models.md>)

Tags: [benchmarks](<https://devfeed.tech/tags/benchmarks.md>), [chain-of-thought](<https://devfeed.tech/tags/chain-of-thought.md>), [code-generation](<https://devfeed.tech/tags/code-generation.md>), [conversational-ai](<https://devfeed.tech/tags/conversational-ai.md>), [deep-learning](<https://devfeed.tech/tags/deep-learning.md>), [evaluation](<https://devfeed.tech/tags/evaluation.md>), [fine-tuning](<https://devfeed.tech/tags/fine-tuning.md>), [iclr](<https://devfeed.tech/tags/iclr.md>), [iclr-2026](<https://devfeed.tech/tags/iclr-2026.md>), [large-language-models-llms](<https://devfeed.tech/tags/large-language-models-llms.md>), [llms](<https://devfeed.tech/tags/llms.md>), [math-reasoning](<https://devfeed.tech/tags/math-reasoning.md>), [parallel-reasoning](<https://devfeed.tech/tags/parallel-reasoning.md>), [post-training](<https://devfeed.tech/tags/post-training.md>), [post-training-optimization](<https://devfeed.tech/tags/post-training-optimization.md>), [reasoning](<https://devfeed.tech/tags/reasoning.md>), [reinforcement-learning](<https://devfeed.tech/tags/reinforcement-learning.md>), [traces](<https://devfeed.tech/tags/traces.md>)

### AI overview

The article presents set-supervised fine tuning and global forking policy optimization to train LLMs on multiple distinct reasoning paths. It reports 5% to 7% single-shot accuracy gains on standard benchmarks.

### Source excerpt

How to train language models to generate diverse, accurate reasoning paths using tokens that control distinct reasoning strategies.

## Making LLMs faster without sacrificing accuracy

DevFeed: [Making LLMs faster without sacrificing accuracy](<https://devfeed.tech/articles/making-llms-faster-without-sacrificing-accuracy-7603.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/making-llms-faster-without-sacrificing-accuracy>)

Author: Tao Yu; Youngsuk Park

Published: 2026-05-15T13:00:00Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Language models](<https://devfeed.tech/topics/language-models.md>), [Training AI Models](<https://devfeed.tech/topics/training-ai-models.md>), [web applications](<https://devfeed.tech/topics/web-applications.md>)

Tags: [architecture](<https://devfeed.tech/tags/architecture.md>), [chinchilla-scaling-law](<https://devfeed.tech/tags/chinchilla-scaling-law.md>), [conversational-ai](<https://devfeed.tech/tags/conversational-ai.md>), [generative-ai](<https://devfeed.tech/tags/generative-ai.md>), [grouped-query-attention](<https://devfeed.tech/tags/grouped-query-attention.md>), [hyperparameter-optimization](<https://devfeed.tech/tags/hyperparameter-optimization.md>), [iclr-2026](<https://devfeed.tech/tags/iclr-2026.md>), [inference](<https://devfeed.tech/tags/inference.md>), [inference-efficiency](<https://devfeed.tech/tags/inference-efficiency.md>), [large-language-models](<https://devfeed.tech/tags/large-language-models.md>), [large-language-models-llms](<https://devfeed.tech/tags/large-language-models-llms.md>), [llm-optimization](<https://devfeed.tech/tags/llm-optimization.md>), [llms](<https://devfeed.tech/tags/llms.md>), [machine-learning](<https://devfeed.tech/tags/machine-learning.md>), [model-architecture](<https://devfeed.tech/tags/model-architecture.md>), [network-architectures](<https://devfeed.tech/tags/network-architectures.md>), [scaling-laws](<https://devfeed.tech/tags/scaling-laws.md>), [training](<https://devfeed.tech/tags/training.md>), [transformer-architecture](<https://devfeed.tech/tags/transformer-architecture.md>)

### AI overview

The article presents scaling laws that connect LLM architectural choices to the tradeoff between accuracy and efficiency. It describes how these choices can improve inference throughput without reducing accuracy.

### Source excerpt

A new scaling law that relates particular architectural choices to loss helps identify models that improve throughput by up to 47% with no loss of accuracy.

## Promptimus: Improving already good LLM prompts with zero manual engineering

DevFeed: [Promptimus: Improving already good LLM prompts with zero manual engineering](<https://devfeed.tech/articles/promptimus-improving-already-good-llm-prompts-with-zero-manual-engineering-7605.md>)

Original publisher: [Read original article](<https://www.amazon.science/blog/promptimus-improving-already-good-llm-prompts-with-zero-manual-engineering>)

Author: Zhengyuan Shen; Yunfei Bai; Sullam Jeoung; Shuai Wang

Published: 2026-05-14T13:47:45Z

Content type: article

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [Automated prompt engineering](<https://devfeed.tech/topics/automated-prompt-engineering.md>), [Prompt Engineering](<https://devfeed.tech/topics/prompt-engineering.md>), [Optimization](<https://devfeed.tech/topics/optimization.md>), [Large Language Model](<https://devfeed.tech/topics/llm.md>), [AI Agent](<https://devfeed.tech/topics/ai-agent.md>), [Artificial Intelligence](<https://devfeed.tech/topics/ai.md>), [multimodal](<https://devfeed.tech/topics/multimodal.md>), [Code](<https://devfeed.tech/topics/code.md>)

Tags: [ai](<https://devfeed.tech/tags/ai.md>), [ai-agent](<https://devfeed.tech/tags/ai-agent.md>), [amazon-bedrock](<https://devfeed.tech/tags/amazon-bedrock.md>), [automated-prompt-engineering](<https://devfeed.tech/tags/automated-prompt-engineering.md>), [code-generation](<https://devfeed.tech/tags/code-generation.md>), [conversational-ai](<https://devfeed.tech/tags/conversational-ai.md>), [engineering](<https://devfeed.tech/tags/engineering.md>), [generative-ai](<https://devfeed.tech/tags/generative-ai.md>), [large-language-models-llms](<https://devfeed.tech/tags/large-language-models-llms.md>), [llm](<https://devfeed.tech/tags/llm.md>), [multimodal](<https://devfeed.tech/tags/multimodal.md>), [optimization](<https://devfeed.tech/tags/optimization.md>), [performance](<https://devfeed.tech/tags/performance.md>), [prompt-engineering](<https://devfeed.tech/tags/prompt-engineering.md>), [prompt-optimization](<https://devfeed.tech/tags/prompt-optimization.md>)

### AI overview

Promptimus is an automated prompt-engineering method for improving already strong prompts without manual engineering. It uses task data, user-defined performance metrics, failure analysis, debugging agents, sanitization, and targeted edit mode to refine prompts while preserving working business logic. The method is model agnostic and supports textual and multimodal LLM tasks, including classification, extraction, generation, summarization, code generation, and tool use.

### Source excerpt

By focusing on specific failure points and suggesting targeted solutions, a new automated prompt-engineering framework improves prompt performance without compromising existing functionality.

[Next page](<https://devfeed.tech/sources/amazon-science-homepage.md?cursor=WyIyMDI2LTA1LTE0VDEzOjQ3OjQ1KzAwOjAwIiwgIjI0MjFiNTRkLWEwZjctNGYxZC1hODVjLWY3ZWM1Y2QxYjUxOSJd>)