Timestamps
0:00 Intro
1:04 What if a Computer Could Program Itself?
7:50 Automatically Programming with Different Forms of Reasoning
12:48 Neruosymbolic Computing, Continuous vs. Discrete AI
19:28 How did you find this Problem?
23:43 Program Synthesis