Type Driven Program Synthesis

A promising approach to improving

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

A promising approach to improving

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

Invited Talk: Neuro-Symbolic

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

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

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

This talk will

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

Over the best decade,

How do you learn

This Talk: http://conf.researchr.org/event/pldi-2016/pldi-2016-papers-mapreduce-

In this lecture, I'm providing an introduction to

This is a short introduction to example-

Automated

[PADL'23]

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

Talk Title: FlashMeta: A Framework for Inductive

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