Provably guarantee correctness of (some of) your LLM outputs(aws.amazon.com)

https://aws.amazon.com/blogs/aws/minimize-ai-hallucinations-and-deliver-up-to-99-verification-accuracy-with-automated-reasoning-checks-now-available/