Hi everyone,
CAV is over, so back to the PL seminar schedule. We will be having a PL seminar on Wednesday July 29, at 1pm.
Swarat Chaudhuri from UT Austin will talk to us about some intersections of program synthesis and deep learning.
Here is the abstract for the talk:
I will talk about neurosymbolic programming, an emerging research area that bridges the fields of deep learning and program synthesis. Here, one considers parameterized (often differentiable) programs that
use traditional programming primitives as well as invocations to neural modules. Such programs are learned from a combination of data and auxiliary synactic and semantic constraints, using a combination of symbolic search and gradient-based optimization.
Neurosymbolic programs possess a number of advantages over classical neural networks. The symbolic elements of such programs make them easier to interpret, debug, and factorize than neural networks, as well as a natural fit for tasks that need algorithmic
reasoning. The compositionality of such programs can aid transfer across learning settings. Finally, the constraints available during the learning process for such programs can serve as a form of regularization, leading to more reliable and data-efficient
learning.
In this talk, I will describe a few forms that neurosymbolic programs can take, along with a few algorithmic approaches to learning them. I will end with a discussion of some of the open challenges in this area and ways in which PL researchers can contribute
to it.
We'll send out another reminder on Wednesday.
Hope to see you there. We might even have some ML people joining...
John
Topic: madPL seminar
Time: This is a recurring meeting Meet anytime
Join Zoom Meeting
Meeting ID: 859 451 761
One tap mobile
+19292056099,,859451761# US (New York)
+13017158592,,859451761# US (Germantown)
Dial by your location
+1 929 205 6099 US (New York)
+1 301 715 8592 US (Germantown)
+1 312 626 6799 US (Chicago)
+1 669 900 6833 US (San Jose)
+1 253 215 8782 US (Tacoma)
+1 346 248 7799 US (Houston)
Meeting ID: 859 451 761