Program Synthesis - A Dream Realized
Offered By: Strange Loop Conference via YouTube
Course Description
Overview
Explore the world of program synthesis in this 38-minute conference talk from Strange Loop. Delve into the dream of automatically creating programs that conform to user intent, starting with an introduction to classical and inductive program synthesis. Examine the challenges faced by inductive reasoning engines, including overfitting, ambiguity, and brittleness. Learn about syntactic inductive biases applied to candidate programs and discover a semantics-guided approach to improve generalizability and robustness of inductive synthesis engines. Gain insights into the current state of program synthesis and understand why the dream is yet to be fully realized.
Syllabus
"Program Synthesis: A Dream Realized?" by Roopsha Samanta
Taught by
Strange Loop Conference
Tags
Related Courses
Stanford Seminar - Concepts and Questions as ProgramsStanford University via YouTube DreamCoder- Growing Generalizable, Interpretable Knowledge With Wake-Sleep Bayesian Program Learning
Yannic Kilcher via YouTube A Neural Network Solves and Generates Mathematics Problems by Program Synthesis - Paper Explained
Aleksa Gordić - The AI Epiphany via YouTube EI Seminar - Recent Papers in Embodied Intelligence
Massachusetts Institute of Technology via YouTube Using Program Synthesis to Build Compilers
Simons Institute via YouTube