During the semester, students present papers, setting the stage for a communal discussion. It would also be nice to show the paper artifacts in action when possible. There will be one presentation per student.
Probabilistic Programming and Bayesian Inference
Differentiable Programs with Neural Libraries
Neuro-Symbolic Program Synthesis
Modeling Semantic Cognition as Logical Dimensionality Reduction
Program Synthesis with Pragmatic Communication
Bootstrap Learning via Modular Concept Discovery
Program Synthesis via a Relational Interpreter
Learning programs by learning from failures
Generative Language Modeling for Automated Theorem Proving
Mastering Atari, Go, Chess and Shogi by Planning with a Learned Model
Semantic Robustness of Models of Source Code
Predicate Exchange: Inference with Declarative Knowledge
Preventing undesirable behavior of intelligent machines
Program Synthesis from Polymorphic Refinement Types
Vid2Player: Controllable Video Sprites that Behave and Appear like Professional Tennis Players