Browse Source

Schedule project presentations.

master
Justin Hsu 2 years ago
parent
commit
ee996872ae
  1. 3
      website/docs/schedule/lectures.md

3
website/docs/schedule/lectures.md

@ -37,4 +37,5 @@
11/6 | Verifying neural networks <br> **Reading:** [*AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation*](https://files.sri.inf.ethz.ch/website/papers/sp2018.pdf) <br> **Reading:** [*DL2: Training and Querying Neural Networks with Logic*](http://proceedings.mlr.press/v97/fischer19a/fischer19a.pdf) | JH | --- |
11/8 | Verifying probabilistic programs <br> **Reading:** [*Advances and Challenges of Probabilistic Model Checking*](https://www.prismmodelchecker.org/papers/allerton10.pdf) <br> **Reading:** [*A Program Logic for Union Bounds*](https://arxiv.org/pdf/1602.05681) | JH | Miru | MS2 Due
| <center> <h4> **No&nbsp;Lectures:&nbsp;Work&nbsp;on&nbsp;Projects** </h4> </center> | | |
12/11 (TBD) | Project Presentations | | |
12/11 | Project Presentations 1 | | Final Projects |
12/13 | Project Presentations 2 <br> **TIME AND PLACE: TBD** | | |
Loading…
Cancel
Save