Skip to content

Commit 14eadeb

Browse files
committed
Adding lecture 20
1 parent b9e109e commit 14eadeb

File tree

2 files changed

+33
-6
lines changed

2 files changed

+33
-6
lines changed

index.html

Lines changed: 33 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -191,20 +191,47 @@ <h2>Course Calendar</h2>
191191
<td>Oct 28 (Tue)</td><td><a target="_blank" href="lectures/lecture-17.pdf">LLM for Software Security</a></td></tr>
192192
<tr><td>Oct 30 (Thu)</td><td><a target="_blank" href="lectures/lecture-18.pdf">Programming Languages for Software Security</a></td></tr>
193193
<tr><td rowspan="2">11</td>
194-
<td>Nov 4 (Tue)</td><td>Oral Presentations: LLM Adaptation</td></tr>
195-
<tr><td>Nov 6 (Thu)</td><td>Oral Presentations: Agentic and Multi-Agent Systems</td></tr>
194+
<td>Nov 4 (Tue)</td><td>
195+
Oral Presentations: LLM Adaptation
196+
[<a target="_blank" href="https://drive.google.com/file/d/1fKwnBU_40K0_8hZtdpHIMpKVsBbzS5l_/view?usp=share_link">1</a>,
197+
<a target="_blank" href="https://drive.google.com/file/d/17dNw8RjqhvJpNNyN5wCDU2xki9YIIAzb/view?usp=share_link">2nd</a>,
198+
<a target="_blank" href="https://drive.google.com/file/d/1w4zaRfTv31_ADKTkedfCD0A5iBrQoRE7/view?usp=share_link">3rd</a>,
199+
<a target="_blank" href="https://drive.google.com/file/d/1qOA4wJHSI3STy2flGupuo26Z1UHCRSqj/view?usp=share_link">4th</a>]
200+
</td></tr>
201+
<tr><td>Nov 6 (Thu)</td><td>
202+
Oral Presentations: Agentic and Multi-Agent Systems
203+
[<a target="_blank" href="https://drive.google.com/file/d/1jQI_IP1DS5_1qaQA5c1pK-0JeVE_kg7v/view?usp=share_link">1</a>,
204+
<a target="_blank" href="https://drive.google.com/file/d/1RFCSkxyv3mEd9wQz1nTOKME2MOc1sef0/view?usp=share_link">2</a>,
205+
<a target="_blank" href="https://drive.google.com/file/d/1tA34FPyu8NkVoTptQfc0XzHvIEAGczFZ/view?usp=share_link">3</a>,
206+
<a target="_blank" href="https://drive.google.com/file/d/1ijOgHq2uqkhSURCvwHOtUxq4g7HSfAV3/view?usp=share_link">4</a>]
207+
</td></tr>
196208
<tr><td rowspan="2">12</td>
197-
<td>Nov 11 (Tue)</td><td>Oral Presentations: LLM for Planning and Cyber-Physical Systems</td></tr>
198-
<tr><td>Nov 13 (Thu)</td><td>Oral Presentations: Long-Horizon and Evolutionary Program Synthesis</td></tr>
209+
<td>Nov 11 (Tue)</td><td>
210+
Oral Presentations: LLM for Planning and Cyber-Physical Systems
211+
[<a target="_blank" href="https://drive.google.com/file/d/1ZE-m-K5urWnaY51W7Yl4lTZGQsOzdcKn/view?usp=share_link">1</a>,
212+
<a target="_blank" href="https://drive.google.com/file/d/1TI2LXEP0QRZqddfoRvXCiA69FE-NzciE/view?usp=share_link">2</a>,
213+
<a target="_blank" href="https://drive.google.com/file/d/18L7E2oORytwVDpY7HM70Fa7J9Jt4753f/view?usp=share_link">3</a>,
214+
<a target="_blank" href="https://drive.google.com/file/d/1-xXSNty6zQuOWGga-LGlepJyy_q8-h1w/view?usp=share_link">4</a>]
215+
</td></tr>
216+
<tr><td>Nov 13 (Thu)</td><td>
217+
Oral Presentations: Long-Horizon and Evolutionary Program Synthesis
218+
[<a target="_blank" href="https://drive.google.com/file/d/1Sy6LZRvAjmi-s3drmc2wImOlPeR1aeOf/view?usp=share_link">1</a>,
219+
<a target="_blank" href="https://docs.google.com/presentation/d/1T7fQ4OVUPNP764SdseLgf4zj26prvn1s/edit?usp=share_link&ouid=109852786320198269178&rtpof=true&sd=true">2</a>]
220+
</td></tr>
199221
<tr><td rowspan="2">13</td>
200-
<td>Nov 18 (Tue)</td><td>Oral Presentations: LLM for Software Engineering</td></tr>
222+
<td>Nov 18 (Tue)</td><td>
223+
Oral Presentations: LLM for Software Engineering
224+
[<a target="_blank" href="https://drive.google.com/file/d/1WMIUpbAOQy6ienqYozAqnJ8g1qAYuSEY/view?usp=share_link">1</a>,
225+
<a target="_blank" href="https://drive.google.com/file/d/18YYZOMgeWULi5Et_9KNuZ14WN8C69NXx/view?usp=share_link">2</a>,
226+
<a target="_blank" href="https://drive.google.com/file/d/18yOzUyl9D1IBtfCM7eibSyHSooDnU7GN/view?usp=share_link">3</a>]
227+
</td></tr>
201228
<tr><td>Nov 20 (Thu)</td><td>Oral Presentations: LLM for Formal Logic, Math, and Theorem Proving</td></tr>
202229
<tr><td rowspan="2">14</td>
203230
<td>Nov 25 (Tue)</td><td>Thanksgiving (no class)</td></tr>
204231
<tr><td>Nov 27 (Thu)</td><td>Thanksgiving (no class)</td></tr>
205232
<tr><td rowspan="2">15</td>
206233
<td>Dec 2 (Tue)</td><td><a target="_blank" href="lectures/lecture-19.pdf">Special Topic: Neurosymbolic Programming</a></td></tr>
207-
<tr><td>Dec 4 (Thu)</td><td><a target="_blank" href="lectures/lecture-20.pdf">Special Topic</a></td></tr>
234+
<tr><td>Dec 4 (Thu)</td><td><a target="_blank" href="lectures/lecture-20.pdf">Special Topic: Synthesizing Diverse DSLs</a></td></tr>
208235
</table>
209236
</section>
210237
</main>

lectures/lecture-20.pdf

10.5 MB
Binary file not shown.

0 commit comments

Comments
 (0)