Program Synthesis Courses
Stanford 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 You Are a Program Synthesizer
Strange Loop Conference via YouTube Type-Driven Program Synthesis
Strange Loop Conference via YouTube Program Synthesis - A Dream Realized
Strange Loop Conference via YouTube A Review of Modern Code Deobfuscation Techniques
Hack In The Box Security Conference via YouTube Autoformalization with Large Language Models - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) via YouTube