YoVDO

Program Synthesis - A Dream Realized

Offered By: Strange Loop Conference via YouTube

Tags

Strange Loop Conference Courses Inductive Reasoning Courses Program Synthesis Courses

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

A Better Story for Kubernetes Secrets
Strange Loop Conference via YouTube A Box of Chaos - The Generative Artist's Toolkit
Strange Loop Conference via YouTube A Commerce-centric Approach to Queuing Fairly at High Throughput
Strange Loop Conference via YouTube A Distributed File System for Secure P2P Applications
Strange Loop Conference via YouTube A Frontend Server, Front to Back
Strange Loop Conference via YouTube