Relational Program Synthesis

Paper: https://dl.acm.org/citation.cfm?id=3276525 This paper proposes

miniKanren 2020 https://icfp20.sigplan.org/home/minikanren-2020

This talk will

Invited Talk: Neuro-Symbolic

The way a problem is represented can determine whether it is solvable at all. Céline Hocquette, AI researcher at Ndea and former ...

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

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

Remy Wang (UW & UCLA) https://simons.berkeley.edu/talks/remy-wang-uw-ucla-2023-09-08 Meet the Fellows Welcome Event ...

For example using input-output examples so there's been a lot of advances in

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

Remy Wang Ninth Annual Industry Day.

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

One vision for

Program Synthesis

miniKanren 2020 https://icfp20.sigplan.org/home/minikanren-2020#

In this lecture, I'm providing an introduction to

Remy Wang (University of Washington) https://simons.berkeley.edu/talks/remy-wang-university-washington-2023-09-28 ...

How do you learn

Automated