Amazon Bedrock Guardrails Adds Automated Reasoning Checks in Sydney
Amazon Bedrock Guardrails now offers Automated Reasoning checks, utilizing formal verification to mathematically validate AI model outputs, a significant advancement over traditional sampling. This new capability enhances AI safety by reducing hallucinations, policy violations, and ambiguity, particularly benefiting regulated industries like finance and healthcare. The feature provides up to 99% accuracy with provable assurance, is now available in the Asia Pacific (Sydney) Region, and can be accessed via the Bedrock console or SDK.
- →Automated Reasoning checks for AI output validation
- →Improved AI assurance and risk reduction
Features (1) ›
- Automated Reasoning checks for AI output validation
Amazon Bedrock Guardrails' new Automated Reasoning checks use formal verification to mathematically validate AI model outputs, offering a rigorous alternative to sampling-based testing. This feature aims to address AI hallucinations, policy violations, and ambiguous responses.
Enhancements (1) ›
- Improved AI assurance and risk reduction
The checks deliver up to 99% accuracy and provable assurance, helping enterprises meet regulatory requirements and significantly reduce risks from incorrect or fabricated AI outputs. Specific use cases include validating responses for production in regulated environments and ensuring business rule compliance.
https://aws.amazon.com/about-aws/whats-new/2026/06/amazon-bedrock-guardrails-sydney/