AWS Bedrock: Automated Reasoning Policies Now Cite Sources
🔎 AWS added source document references to Automated Reasoning policies in Amazon Bedrock, enabling users to trace generated formal rules and variables back to the original documents used to create policies. This improves transparency and makes it easier to review, validate, and refine policy encodings derived from uploaded materials. Test generation for Automated Reasoning checks is now available in multiple US and Europe Regions and can be accessed via the Bedrock console and the Bedrock Python SDK. AWS says the checks use formal verification and can reach up to 99% accuracy in identifying correct LLM responses, helping detect hallucinations and ambiguity.
