| Date | Class Period & Lecture Topic | Reading | Assignment |
|---|---|---|---|
| Aug 25 | Syllabus, policies, business, goals, intro | Join Course Discord (via Canvas) Join Redux Discord Complete get-to-know-you survey |
|
| Aug 27 | NP-completeness theory & Redux | Redux: An Interactive, Dynamic Knowledge Base for Teaching NP-completeness https://redux.isu.edu/ |
Virtual Intro |
| Sep 01 | Computational Creativity | Wiggins | |
| Sep 03 | The Transformer Architecture | How Transformer LLMs Work (1h44m, PRO not req'd) | |
| Sep 08 | The Transformer Architecture (continued) | How Transformer LLMs Work (1h44m, PRO not req'd) | Problem Brainstorming |
| Sep 10 | Evaluating LLMs via Boden & Wiggins | How to Build a CC System | LLM Problem Brainstorming |
| Sep 15 | Choosing groups, problems, and LLMs | On the Creativity of Large Language Models Evaluating LLMs via SWE-bench Verified (About, Results) Evaluating LLMs via Arena (About, Code Results) |
|
| Sep 17 | Project Proposal Workday | Group Project Proposal | |
| Sep 22 | Autonomy | Jennings | LLM Project Proposal |
| Sep 24 | Systematic Literature Reviews | Start work on Systematic Literature Review | |
| Sep 29 | Systematic Literature Reviews (continued) | Sys Lit Review (Q1-3,5) | |
| Oct 01 | Metrics | Ritchie | Sys Lit Review (Q4,6-7, just setup figure & tools) |
| Oct 06 | An Ontological View | Ventura | Metrics Assignment |
| Oct 08 | Getting started in Redux | LLM Metrics Assignment | |
| Oct 13 | Metrics for LLM Problem Implementation | Problem Implementation (just the human part) | |
| Oct 15 | Midterm Presentations | Midterm Presentations | |
| Oct 20 | Group Battles | Prepare for battle | |
| Oct 22 | LLM Problem Implmentation Prompts and Metrics Metric spreadsheet Prompts sheet |
||
| Oct 27 | |||
| Oct 29 | Problem Implementation | ||
| Nov 03 | Sys Lit Review (finalize seed set for snowballing) | ||
| Nov 05 | Solver Implementation Verifier Implementation |
||
| Nov 10 | Problem Instance Implementation | ||
| Nov 12 | |||
| Nov 17 | Reduction Proof | ||
| Nov 19 | Reduction Implementation | ||
| Nov 24 | Fall Break | ||
| Nov 26 | Fall Break | ||
| Dec 01 | Creative Leap | ||
| Dec 03 | Systematic Literature Review | ||
| Dec 08 | LLM Systematic Literature Review | ||
| Dec 10 | Threats to Validity | ||
| Dec 15 | Final Exam (Presentations) (7:30 AM - 9:30 PM) | Final Presentations and Papers |
The schedule is subject to change.
