
bedrock-automated-reasoning
Amazon Bedrock Automated Reasoning for mathematical verification of AI responses against formal poli
by adaptationio|Open Source

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