Adding lecture 6

Author: Liby99

index.html

@@ -104,41 +104,41 @@ <h2>Course Calendar</h2>
                 <tr><td>Sep 4 (Thu)</td><td><a target="_blank" href="lectures/lecture-4.pdf">Functional Specifications and Synthesis</a></td></tr>
                 <tr><td rowspan="2">3</td>
                     <td>Sep 9 (Tue)</td><td><a target="_blank" href="lectures/lecture-5.pdf">Language Modeling for Synthesis</a></td></tr>
-                <tr><td>Sep 11 (Thu)</td><td>Prompting and Iterative Refinement for Synthesis</td></tr>
+                <tr><td>Sep 11 (Thu)</td><td><a target="_blank" href="lectures/lecture-6.pdf">Decoding and Prompting for Synthesis</a></td></tr>
                 <tr><td rowspan="2">4</td>
                     <td>Sep 16 (Tue)</td><td>Pre-training, Fine-tuning, and Reinforcement Learning for Synthesis | <a target="_blank" href="https://github.com/machine-programming/assignment-1">[Assignment 1 Due]</a></td></tr>
                 <tr><td>Sep 18 (Thu)</td><td>Steering and Constraint Decoding for Synthesis</td></tr>
                 <tr><td rowspan="2">5</td>
                     <td>Sep 23 (Tue)</td><td>Agentic Programming Framework, MCP, and LSP</td></tr>
                 <tr><td>Sep 25 (Thu)</td><td>Lecture</td></tr>
-                <tr><td rowspan="2">6 <br/> Testing</td>
+                <tr><td rowspan="2">6</td>
                     <td>Sep 30 (Tue)</td><td>Lecture</td></tr>
                 <tr><td>Oct 2 (Thu)</td><td>Lecture</td></tr>
-                <tr><td rowspan="2">7 <br/> Software Engineering</td>
+                <tr><td rowspan="2">7</td>
                     <td>Oct 7 (Tue)</td><td>Lecture</td></tr>
                 <tr><td>Oct 9 (Thu)</td><td>Lecture</td></tr>
-                <tr><td rowspan="2">8 <br/> Verification</td>
+                <tr><td rowspan="2">8</td>
                     <td>Oct 14 (Tue)</td><td>Lecture</td></tr>
                 <tr><td>Oct 16 (Thu)</td><td>(Holiday, no class)</td></tr>
-                <tr><td rowspan="2">9 <br/> Logic Programming</td>
+                <tr><td rowspan="2">9</td>
                     <td>Oct 21 (Tue)</td><td>Lecture</td></tr>
                 <tr><td>Oct 23 (Thu)</td><td>Lecture</td></tr>
-                <tr><td rowspan="2">10 <br/> Theorem Proving</td>
+                <tr><td rowspan="2">10</td>
                     <td>Oct 28 (Tue)</td><td>Lecture</td></tr>
                 <tr><td>Oct 30 (Thu)</td><td>Lecture</td></tr>
-                <tr><td rowspan="2">11 <br/> Query Synthesis</td>
+                <tr><td rowspan="2">11</td>
                     <td>Nov 4 (Tue)</td><td>Lecture</td></tr>
                 <tr><td>Nov 6 (Thu)</td><td>Lecture</td></tr>
-                <tr><td rowspan="2">12 <br/> Synthesis for Planning and Control</td>
+                <tr><td rowspan="2">12</td>
                     <td>Nov 11 (Tue)</td><td>Lecture</td></tr>
                 <tr><td>Nov 13 (Thu)</td><td>Lecture</td></tr>
-                <tr><td rowspan="2">13 <br/> Reserved for advanced topics</td>
+                <tr><td rowspan="2">13</td>
                     <td>Nov 18 (Tue)</td><td>Lecture</td></tr>
                 <tr><td>Nov 20 (Thu)</td><td>Lecture</td></tr>
                 <tr><td rowspan="2">14</td>
                     <td>Nov 25 (Tue)</td><td>Thanksgiving (no class)</td></tr>
                 <tr><td>Nov 27 (Thu)</td><td>Thanksgiving (no class)</td></tr>
-                <tr><td rowspan="2">15 <br/> Reserved for advanced topics</td>
+                <tr><td rowspan="2">15</td>
                     <td>Dec 2 (Tue)</td><td>TBD</td></tr>
                 <tr><td>Dec 4 (Thu)</td><td>TBD</td></tr>
             </table>