bedrock-automated-reasoning

Name: bedrock-automated-reasoning
Availability: InStock
Rating: 4.8 (50 reviews)
Author: adaptationio

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

作者 adaptationio|オープンソース