Type Driven Program Synthesis By

A promising approach to improving

This video was recorded at virtual Lambda Days conference, which took place on 16-19th February 2021 ...

This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ Dependent

A promising approach to improving

Invited Talk: Neuro-Symbolic

Panel discussion with Francois Chollet, Kevin Ellis, and Zenna Tavares on why

Rajeev Alur (University of Pennsylvania) https://simons.berkeley.edu/talks/syntax-guided-

Details: https://the-au-forml-lab.github.io/colloquium_talks/Brady.html.

Details: https://the-au-forml-lab.github.io/colloquium_talks/Brady.html.

Recorded 10 January 2023. Osbert Bastani of the University of Pennsylvania presents "Interpretable Machine Learning via ...

Alvin Cheung (UC Berkeley) https://simons.berkeley.edu/talks/tbd-324

Kevin Ellis (Cornell) and Zenna Tavares (BASIS) argue that the next wave of AI needs to learn like humans do: building abstract ...

How do you learn