From 8fe57bc506f0fa4694fab1b38c36ed5d9de2c7fa Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Fri, 8 Nov 2019 13:43:07 -0600 Subject: [PATCH] Final presentations. --- website/docs/schedule/lectures.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/website/docs/schedule/lectures.md b/website/docs/schedule/lectures.md index 0fd2377..014db2c 100644 --- a/website/docs/schedule/lectures.md +++ b/website/docs/schedule/lectures.md @@ -37,5 +37,5 @@ 11/6 | Verifying neural networks
**Reading:** [*AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation*](https://files.sri.inf.ethz.ch/website/papers/sp2018.pdf)
**See also:** [*DL2: Training and Querying Neural Networks with Logic*](http://proceedings.mlr.press/v97/fischer19a/fischer19a.pdf) | JH | --- | 11/8 | Verifying probabilistic programs
**Reading:** [*A Program Logic for Union Bounds*](https://arxiv.org/pdf/1602.05681)
**See also:** [*Advances and Challenges of Probabilistic Model Checking*](https://www.prismmodelchecker.org/papers/allerton10.pdf) | JH | Miru | MS2 Due |

**No Lectures: Work on Projects**

| | | -12/11 | Project Presentations 1 | | Final Projects | -12/13 | Project Presentations 2
**TIME AND PLACE: TBD** | | | +12/9 | Project Presentations 1
Robert, Noor, Shashank
Jack L., Geetika
Zi
Vibhor, Varun, Adarsh | | | +12/11 | Project Presentations 2
Siddhant, Goutham, Somya
Nat, Zach, Jialu
Miru, Pierre, Jack S.
Shengwen, Rajan, Bobby | | Final Writeups |