Amazon and @stanford.edu researchers collaborated to develop cvc5, an open-source software tool that powers Automated Reasoning checks in Amazon Bedrock and other AWS services. The tool now processes ~1B solver calls daily to enhance security for customers: amzn.to/3OlTTry