bedrock-automated-reasoning

Amazon Bedrock Automated Reasoning for mathematical verification of AI responses against formal poli