Introduction to Program Synthesis
Tuesday 10/17 I came down sick so I won't be able to lecture today, but Kavi will have office hours at the usual class time and place. Tuesday 9/26 and 9/28: I forgot to mention in lecture last week that I am traveling again this week so the 9/26 and 9/28 lectures will be on zoom again. Thursday 9/14: As mentioned in class on Tuesday, the lecture today will be on zoom. Also, the first assignment has now be released. You can find it here. The webpages for earlier versions of this course can be found here and here.
Lecture0:Slide0; Lecture0:Slide1; Lecture0:Slide2; Lecture0:Slide3; Lecture0:Slide4; Lecture0:Slide5; Lecture0:Slide6; Lecture0:Slide7; Anouncements Welcome to 6.5130! When/Where: MW1-2.30 in room 66-168 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…
saved by
related reading
- Program Synthesis Explained — James Bornholtcs.utexas.edu
- Program Synthesis with Large Language Modelsarxiv.org
- Fall 2026boazbk.github.io
- [2112.02969] Jigsaw: Large Language Models meet Program Synthesisarxiv.org
- [2108.07732] Program Synthesis with Large Language Modelsarxiv.org
- Stanford CS336 | Language Modeling from Scratchcs336.stanford.edu
- Kevin Elliscs.cornell.edu
- Deep learning as program synthesis — LessWronglesswrong.com
- CS 6120: The Self-Guided Coursecs.cornell.edu
- [2106.05784] Programming Puzzlesarxiv.org
- MIT 6.512, Fall 2025frap.csail.mit.edu
- The Iliad Intensive Course Materials — LessWronglesswrong.com