DevWeek Virtual Panel with AWS & Revelo | Enhancing AI Code Generation and Automated Reasoning

Join Lucas Mendes, CEO of Revelo, and Mike Miller, Director at AWS AI Devices, in an in-depth virtual discussion on advancing AI in code generation. Lucas shares insights about Revelo's work in improving LLMs for coding through expert human data, while Mike delves into AWS's pioneering efforts in automated reasoning and symbolic AI.

They explore the transformative potential of AI in automating code testing, migration, and handling stress incidents. Discover the future of generative AI, the evolving roles of engineers, and the importance of maintaining a balance between human oversight and AI capabilities.

Tune in to understand how automated reasoning can enhance AI-generated code's reliability and mitigate hallucinations. This session also covers the implications for engineering leadership and strategic decision-making in embracing these groundbreaking technologies.

00:00 Welcome and Introduction
00:34 About Revelo and Its Mission
01:25 Panel Discussion Recap
03:01 AI in Code Generation
06:48 Introduction to Automated Reasoning
07:17 Mike Miller's Background and AWS Initiatives
08:12 Understanding Automated Reasoning
11:04 Applications and Benefits of Automated Reasoning
21:48 Future of AI and Automated Reasoning
36:53 Q&A and Final Thoughts