1 Homework

Important: Before starting your homework, please review our homework guide for requirements and suggestions!

Information will be posted here when Homework 1 is released.

1.1 HW 0: Sample

To help you see what we expect good solutions to look like, provided below are the sample solutions to a sample problem. In particular, you can view the LaTeX source to get started learning how to write in LaTeX, and you can watch a video option to see how you should record a video if you so choose.

• Problem statement/written solution
• LaTeX source
• Video solution

To use the LaTeX source, we recommend uploading the .zip file to Overleaf, and using its online compiler to compile and edit the file sample.tex.

1.2 HW 1: Intro/Correctness

Quick links:

• Problem statements
• LaTeX template
• Problem 1 extension 1 programming spec
• Problem 1 extension 1 starter code

In the homework you will be asked to:

1. Reason with the definition of a stable matching.
2. Reflect on the use of LLMs for reasoning.
3. Prove a simple algorithm to be correct.

Please read the instructions in the problem statements PDF. Happy problem solving!

2 Assessments

Information will be posted here closer to the day of Quiz 1.