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
- Syllabuscs230.stanford.edu
- Fall 2026boazbk.github.io
- The Missing Semester of Your CS Educationmissing.csail.mit.edu
- Stanford CS336 | Language Modeling from Scratchcs336.stanford.edu
- HSRGnotes.ekzhang.com
- MIT 6.512, Fall 2025frap.csail.mit.edu
- Program Synthesis Explained — James Bornholtcs.utexas.edu
- Schedule - Large Language Models: Methods and Applications2024.cmu-llms.org
- Brown CS: CSCI 1730: Programming Languagescs.brown.edu
- NYSRGnotes.ekzhang.com
- 6.5840 Schedule: Spring 2026pdos.csail.mit.edu
- Course Infoweb.archive.org