Completed
Integrate verification and learning
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Neurosymbolic Program Architecture Search Methods - Session 3
Automatically move to the next video in the Classroom when playback concludes
- 1 Outline of Tutorial
- 2 Session 3
- 3 Recall: Searching over program structures
- 4 Basic Idea
- 5 Simplest Case: Deterministic Greedy
- 6 Next Step: Beam Search
- 7 Learning Setup
- 8 Neural Architectures for Sequence Prediction
- 9 Learning to Search vs. Neural Relaxations
- 10 Library Learning
- 11 Dreamcoder
- 12 Neurosymbolic Programming
- 13 Integrate verification and learning
- 14 Safe Learning
- 15 Verification Technique: Symbolic Execution
- 16 DSE: Differentiable Symbolic Execution
- 17 Neurosymbolic learning isn't new...
- 18 Hands-on Activity Overview
- 19 Code Structure
- 20 Potential Areas to Explore
