Program Synthesis Via Deep Learning

Mayur Naik (University of Pennsylvania) https://simons.berkeley.edu/talks/tbd-297

Invited Talk: Neuro-Symbolic

Kevin Ellis (Cornell) and Zenna Tavares (BASIS) argue that the next wave of AI needs to

Course webpage: http://www.cs.umd.edu/class/fall2022/cmsc828W/ With the advancement of modern technologies,

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

How do you

In the SLT seminar, Zach Furman from The University of Melbourne discusses evidence for

Dr. Christian Szegedy from Google Research is a

Talk in "

In this lecture, I'm providing an introduction to

Rishabh Singh (Google) https://simons.berkeley.edu/talks/tbd-295

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

Денис Ракитин, НИУ ВШЭ The problem of

Susmit Jha (SRI) https://simons.berkeley.edu/talks/tbd-295

Talk in "

Obfuscation is getting broadly adopted for a wide range of applications and especially to protect intellectual property (IP) in mobile ...

Kevin Ellis (Cornell) https://simons.berkeley.edu/talks/dreamcoder

Episode 10 | January 31, 2018 Every day, computers take on more and more of our daily tasks. Fill in a few cells on your ...

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

This sponsored episode features mathematician Ohad Asor discussing logical approaches to AI, focusing on the limitations of ...