Skip to content

Advanced AI and Machine Learning: From Logical Planning to Generative Models | CMU 07-380 Course Overview

Aug 22, 20261 min
TL;DR07-380 Fall 2026 is the first offering of CMU's new AI II: 26 lectures from logic, planning and optimization to probabilistic graphs and generative systems. As of the 2026-09-29 course site, the Lec1–9 slides, PR1–6 notes, Rec1–5 (with solutions) and HW1–3 are public, and this site now has 14 lecture-by-lecture guides for them. Slides after Lec10, HW4–7 and the final project are not out yet, so the course as a whole is still A2.

🌏 中文版

Video status: Checked: no corresponding recording link listed on the public official page. Source details

CMU 07-380 AI & ML II Fall 2026 follows 07-280 Fall 2026 as the second course in the new sequence, first offered (New in Fall 2026). It is not a reshuffle of 15-281/10-315 but an extension that lifts the search/ML/RL/probability spine of 07-280 into deeper reasoning, optimization, graphical models and generative systems.

Why 07-380 exists

07-280 Fall 2026 already covers 24 lectures + HW0-11 + weekly Checkpoints from heuristic search to AlphaZero. The FAQ states 07-280/07-380 will be offered every semester, 07-380 first being offered in Fall 2026, jointly replacing 15-281 + 10-315. Prerequisites are 07-280 + probability (36-225 etc.) with C or above; 10-301 holders need 10-301 + 16-350 reviewed via bsai@cs.cmu.edu (see Prerequisites).

Grading differs from 07-280: 55% quizzes (6, drop lowest) + 25% HW + 10% project + 5% checkpoints + 5% participation, no final exam, capped by the Final Project (Dec 7-15).

26-lecture arc

Per the Fall 2026 Schedule (subject to change):

BlockLecturesTopics
ReasoningLec02-04Logical Agents / SAT-DPLL / Planning PDDL / Motion RRT
OptimizationLec05-07LP / ILP / PCA + LoRA
Reasoning under uncertaintyLec08-13MAP / Naive Bayes / Bayes Nets / GMM-EM / Sampling-Gibbs / HMM-Particle Filter
Acting & generativeLec14-18RL Policy Gradient→RLHF / DL Optimization / VAE / Diffusion / Multimodal VLM/VLA/JEPA
Systems & theoryLec19-24Parallel (data/model/pipeline/MoE) / Scaling Laws / Recommender / Ensemble / PAC-VC / Game Theory
PracticeLec25-26ML in Practice / AI Ethics + Quiz 6

How public is it

As of the course site on 2026-09-29 (the site says subject to change):

ItemAnonymousGap
Syllabus / Schedule / Policiesfully public—
Lecture slidesLec1–8 each have pptx/pdf plus inked versions; one shared Lec9-10_Probabilistic_Generative_Models deckthe Lec10 Bayes Nets deck is not up (the guessed URL returns 404); Lec11–26 list only topics and readings
Pre-reading notesPR1 Prop Logic, PR2 Planning, PR3 LP, PR4 PCA, PR5 MAP, PR6 Bayes Nets, plus Notes_Generative_ModelsPR7–13 have dates only
Recitationhandouts and solutions for Rec1, Rec2, Rec3-4, Rec5no handouts from Rec6 on
HWHW1 (logic_plan programming), HW2 (planning programming + written PDF/LaTeX template), HW3 (optimization programming + written); starter zips and local autograders download freelyHW4–7 have tentative dates only; Gradescope online questions are campus-only
Quiz / Projectquiz dates postedquiz questions are not public; project groups, proposal and submission are still TBA
PlatformsdescribedCanvas/Gradescope/Piazza campus-only; no recording links on the site

On this site's A0–A3 scale: the course as a whole is A2 (in progress). The released Lec1–9 block has slides, notes, recitation solutions and assignment starters, which is A3: you can self-study through HW3.

This series, lecture by lecture

The 14 guides below follow a learning order (each assignment comes after the last lecture it covers), all based on course materials as of 2026-09-29:

orderPostScope
1Lecture 1: Introductionwhat II adds after 07-280, grading structure
2Lecture 2: Logical Agentsmodel checking, DPLL, forward chaining
3HW1: Logic and the Hybrid Wumpus AgentSAT calls to judge safe squares, building the hybrid agent
4Lecture 3: Classical PlanningPDDL, state-space search, relaxation heuristics
5Lecture 4: Motion Planning (RRT)sampling in continuous space, RRT and RRT*
6HW2: Classical and Motion Planningrobot-cook PDDL, RRT*, graphing LPs
7Lecture 5: Linear Programmingwhy the optimum sits at a vertex
8Lecture 6: Integer ProgrammingLP relaxation and branch and bound
9Lecture 7: PCA and Low Rank (LoRA)reconstruction error, projected variance, SVD
10Lecture 8: MAPpriors as regularization
11HW3: Optimizationyour own LP solver, branch and bound, PCA and MAP on paper
12Lecture 9: Generative ModelsNaive Bayes and GDA
13Lecture 10: Bayes Nets (pre-reading edition)PR6 notes only; slides not up
14Stage recap: certainty and optimization → uncertaintythe first ten lectures and HW1–3 in one view

Not released yet, to be added later

  • Lec10 Bayes Nets slides: order 13 will be updated from them once they are posted.
  • Lec11 onward (Approximate Inference, HMM/Particle Filter, GMM/EM, Policy Gradient→RLHF, VAE, Diffusion, the systems and theory lectures): the site lists only topics and readings.
  • HW4–7, PR7–13, handouts from Rec6 on, and the Final Project spec.
  • Campus-only, so this series will not cover them: quiz questions, Canvas checkpoints, Gradescope online questions.

Bridge from 07-280

07-280 I (24: search/CSP → ML/NN→CNN/Transformer → RL/MCTS)
        ↓
07-380 II (26: logic/planning → optimization → graphical/HMM → RLHF/generative → systems/theory/ethics)

07-280 builds AlexNet/GPT-2/AlphaZero; 07-380 formalizes reasoning and optimization, exact/approximate inference on graphical models, and scalable generative systems. Off-campus, finish 07-280 as the spine, then backfill formal depth via LP/PCA/MAP/EM/Bayes Nets/HMM/VAE/Diffusion.

Tonight's starter

  1. Diff 07-380 Lec01 (pdf) against 07-280 Lec01 to mark I→II overlap and new units (Planning/PDDL, LoRA, PAC-VC).
  2. If logic or optimization is weak, read Prop Logic.pdf and Boyd Ch.2/4 before jumping to Diffusion.
  3. Start from order 1 above; after each block, download the matching HW starter and run its autograder locally.

Update log

  • 2026-10-10: Added explicit video status and checked recording sources and access notes.
  • 2026-10-10: Rechecked video status. Re-verified the live official course pages and public video sources; no public recording for this lecture was found, so the status stands.
  • 2026-09-29: Rewrote "How public is it" for the 2026-09-29 course site (Lec1–9, PR1–6, Rec1–5 and HW1–3 are public) and changed the rating to "A2 overall, A3 for the Lec1–9 block"; added the 14-post series list and the pending list; changed starter step 3 to begin at order 1.

Course video sources

The official Fall 2026 schedule and assignment list have been checked: public resources include slides, pre-readings, demonstrations and assignments, but no public recording link for the corresponding lectures. This article is therefore a materials-based guide with no corresponding lecture player. This observation concerns the public official page and does not establish whether internal recordings exist.

Official sources:

Checked on 2026-10-10.

References