CMU 07-380 Fall 2026 Overview: 26 Lectures from Logic and Planning to Diffusion, HW and Project Not Yet Fully Released

TL;DR 07-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; Lec01 and Prop Logic are public, HW1-7, six quizzes and the final project are still TBD — an A2→A3 transition with the 07-280 bridge.

#cmu #07-380 #ai-course #machine-learning #learning-path

Table of Contents

Why 07-380 exists
26-lecture arc
How public is it
Bridge from 07-280
Tonight's starter
References

Series: Reading CMU 07-380 (0 / 1)

🌏 中文版

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):

Block	Lectures	Topics
Reasoning	`Lec02-04`	Logical Agents / SAT-DPLL / Planning PDDL / Motion RRT
Optimization	`Lec05-07`	LP / ILP / PCA + LoRA
Reasoning under uncertainty	`Lec08-13`	MAP / Naive Bayes / Bayes Nets / GMM-EM / Sampling-Gibbs / HMM-Particle Filter
Acting & generative	`Lec14-18`	RL Policy Gradient→RLHF / DL Optimization / VAE / Diffusion / Multimodal VLM/VLA/JEPA
Systems & theory	`Lec19-24`	Parallel (data/model/pipeline/MoE) / Scaling Laws / Recommender / Ensemble / PAC-VC / Game Theory
Practice	`Lec25-26`	ML in Practice / AI Ethics + Quiz 6

How public is it

Item	Anonymous	Gap
Syllabus / Schedule / Policies	fully public	—
Lecture materials	`Lec01 pptx/pdf (inked)`, `Prop Logic.pdf`, some Checkpoints	most `Lec05-26` decks pending
Recitation	`Fri 11:00 WEH 5403` single section, 6 quiz dates posted	handouts not yet bulk-released
HW / Project	`HW1-7` and Project dates posted (`Sep 3 → Dec 4`)	starter links mostly `TBD`
Platforms	described	`Canvas/Gradescope/Piazza` campus-only

In this site's A0–A3 scale: A2→A3 transition — the map and reading list are complete for a guide; the full self-study chain awaits HW release.

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

Diff 07-380 Lec01 (pdf) against 07-280 Lec01 to mark I→II overlap and new units (Planning/PDDL, LoRA, PAC-VC).
If logic or optimization is weak, read Prop Logic.pdf and Boyd Ch.2/4 before jumping to Diffusion.
Wait for HW1 (Sep 3) release; use weekly Pre-reading Checkpoints for rhythm.