Volunteering
We are always looking for people to help us run the community. If you want to help, just complete the form below and we will be in touch shortly.
Danilo Poccia
Chief Evangelist (EMEA)
AWS
Harness Generative AI Creativity With Automated Reasoning
Abstract
Large language models excel at generating creative solutions, while automated reasoning tools enable rigorous verification. This session explores methodologies for combining these complementary strengths to create more reliable AI systems.
We'll introduce automated reasoning using open source tools and demonstrate how formal methods can guide and constrain generative AI. By fusing probabilistic and symbolic approaches, we'll show how to build hybrid systems that maintain creative capabilities while ensuring verifiable outputs.
We'll introduce automated reasoning using open source tools and demonstrate how formal methods can guide and constrain generative AI. By fusing probabilistic and symbolic approaches, we'll show how to build hybrid systems that maintain creative capabilities while ensuring verifiable outputs.
Thank you to our Sponsors
Huge thanks to our sponsors for powering this community - so let’s return the favour - please take a moment to check out their websites, learn what they do, and say hello at our next event.
Get ahead with The Scale Factory, the award-winning AWS partner dedicated to helping ambitious businesses to grow, fast.