How Amazon uses AI and Automated Reasoning to detect hallucinations
Talk by Robert Jones
Abstract: With the launch of Automated Reasoning checks (ARc) in Amazon Bedrock Guardrails, AWS is the first major cloud provider to integrate automated reasoning in their generative AI offerings thus spearheading the push into neurosymbolic AI. In this 500-level session focused on ARc, join AWS experts for a deep dive into how automated reasoning techniques help verify AI model outputs. We will use practical examples to explain the underlying mathematical and scientific foundations, and to discuss strategies for setting up effective guardrails.
Bio: Robert Jones is a Senior Principal Applied Scientist at AWS, where he leads the solver science team in the Automated Reasoning Group. He works on neurosymbolic AI and automated reasoning in the cloud, for the cloud. Prior to joining AWS, Robert worked in hardware verification, modeling, and security. He holds a PhD in Electrical Engineering from Stanford University. He enjoys reading, photography, playing the piano, and spending time with his family outdoors in the Pacific Northwest of the United States.
