Introduction to Program Synthesis (Fall 2025)

This webpage is a work in progress for the 2025 offering of the course. The course has changed quite substantially from previous offerings, with a stronger emphasis placed on language models and deep learning. If you are interested in a more symbolic version of the course, check out the 2023 version here.

Monday 9/8: Pset 1 is now posted. You can find it here.

Friday 10/3: The first part of Pset 2 is now posted. You can find it here.