Completed
Top-Down Program Synthesis
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Neurosymbolic Program Architecture Search - Methods and Exercises
Automatically move to the next video in the Classroom when playback concludes
- 1 Outline of Tutorial
- 2 Session 2: Neurosymbolic Programming Algorithms
- 3 Learning Strategy
- 4 Intro to Functional Idioms
- 5 A Neurosymbolic Functional DSL
- 6 Example: Recurrent Neural Encoder
- 7 Example: Counting the number of 5s
- 8 Benefit: Compositionality
- 9 Top-Down Program Synthesis
- 10 Story so Far: Top-Down Synthesis
- 11 First Option: Enumerative Search
- 12 Graph Search Depiction
- 13 Key Idea: Estimate "Cost to Go"
- 14 Implementing Admissible Heuristic
- 15 Motivating Observation/Assumption: Functional Representational Power
- 16 Summary
- 17 Code Structure
- 18 Neurosymbolic Behavior Challenge
