Completed
Synthesis but backwards
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
AI Will Program Itself: Synthesis, Learning and Beyond
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Beyond Software Engineering
- 3 Syntax Guided Synthesis
- 4 Synthesis today
- 5 Synthesis but backwards
- 6 Modeling systems with synthesis
- 7 Cell fate decision in C. elegans
- 8 Data: Mutation Experiments
- 9 Model synthesis
- 10 Language Morphology
- 11 Language Phonology
- 12 Infering Morphophonology rules
- 13 Controllers for repetitive motions
- 14 Inductive generalization
- 15 Solution: Add program structure
- 16 Training performance
- 17 Beyond software development
- 18 Basic program synthesis
- 19 Example: LOGO Graphics
- 20 DreamCoder Algorithm
- 21 Abstractions in Synthesis
- 22 Abstraction Dream
- 23 Learned subroutines
- 24 Learning deep hierarchies
- 25 Domains
- 26 Conclusion
