Interpretable Program Synthesis

Summary

Interpretable Program Synthesis Panel discussion with Francois Chollet, Kevin Ellis, and Zenna Tavares on why Recorded 10 January 2023. Osbert Bastani of the University of Pennsylvania presents " In this video we discuss the paper " Kevin Ellis (Cornell) and Zenna Tavares (BASIS) argue that the next wave of AI needs to learn humans do: building abstract ... Dr. Christian Szegedy from Google Research is a deep learning heavyweight. He invented adversarial examples, one of the first ... Mayur Naik (University of Pennsylvania) simons.berkeley.edu/talks/tbd-297 The way a problem is represented can determine whether it is solvable at all. Céline Hocquette, AI researcher at Ndea and former ... Personal website: sbaziotis.com 00:00 Introduction 2:19 Part 1: Overview of Hoare Logic 4:05 Part 1 - Assertions are not ... Rajeev Alur (University of Pennsylvania) simons.berkeley.edu/talks/syntax-guided- But it's challenging to understand Sumit Gulwani will talk about the four bets that he made in the second half of his research career, which yielded greater personal ...