Formal Specifications for Generative AI Models
From the series: MathWorks Research Summit
Rajeev Alur, University of Pennsylvania
This video discusses the role of formal specifications in generative AI systems, demonstrating how verification and specification-guided generation can improve the reliability, analysis, and synthesis of AI-generated content and autonomous systems.
Published: 2 Aug 2026
