Name: Harness generative AI creativity with automated reasoning
Start: 2025-03-27T18:30:00+01:00
End: 2025-03-27T20:00:00+01:00
Location: Assist Digital

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.

**Danilo Poccia**, Chief Evangelist (EMEA) at Amazon Web Services.

Paolo Latella

Matteo Morelli

Mariano Calandra

Gianluigi Mucciolo

AWS User Group - Roma

Global AWS User Group Community

Technology

Web Technology

Cloud Computing

Big Data

Amazon Web Services

DevOps

Computer Programming

New Technology

Startup Businesses

Internet of Things (IOT)

Serverless Architecture

Cloud Services

Artificial Intelligence

Danilo works with startups and companies of any size to support their innovation. In his role as Chief Evangelist (EMEA) at Amazon Web Services, he leverages his experience to help people bring their ideas to life, focusing on serverless architectures and event-driven programming, and on the technical and business impact of machine learning and edge computing. He is the author of AWS Lambda in Action from Manning.

AWS User Group - Roma

Harness generative AI creativity with automated reasoning

AWS User Group - Roma

Details

Members are also interested in