Skip to main content
Back to top
Ctrl
+
K
Introduction
Module 1: Introduction
Lecture
Module 2: Basic formal tools
Lecture
Lab
Module 3: Symbolic search
Lecture
Lab
Module 4: Neural search
Lecture
Lab
Module 5: The ARC challenge
Lecture
Lab
Acknowledgements
Repository
Open issue
.md
.pdf
Lecture 3
Lecture 3
#
This lecture covers the basic approaches to symbolic search in program space.
