Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques

Explore a comprehensive lecture on program synthesis delivered by Microsoft's Sumit Gulwani at IPAM's Naturalistic Approaches to Artificial Intelligence Workshop. Discover how program synthesis can automate various tasks across different domains, from spreadsheet manipulation and data analysis to developer tools and educational applications. Learn about multiple ways users can express their intent, including natural language, input-output examples, contextual information, and broken artifacts requiring repair. Gain insights into the integration of neuro-symbolic techniques that combine large language models (LLMs) with logical reasoning-based approaches to create more effective vertical-specific solutions. Understand practical applications in string transformations, table extraction, debugging, code editing, and educational tools for grading and feedback generation.