From 428afd9916c696e4a103096fb6e9121cfa29e480 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Mon, 7 Dec 2020 20:39:19 +0000 Subject: [PATCH] Remove Matt from presentation schedule. --- website/docs/schedule/lectures.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/docs/schedule/lectures.md b/website/docs/schedule/lectures.md index c65055d..aa020fa 100644 --- a/website/docs/schedule/lectures.md +++ b/website/docs/schedule/lectures.md @@ -38,6 +38,6 @@ 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) | Roger/Zifan | Ashish/Athena | MS2 Due |

**No Lectures: Work on Projects**

| | | 12/4 |
**Project Presentations**

Grishma, Sidharth, Lokit
Saniya, Margaret, Kendall
Mike, Zichen, Dong
Mazharul
Deepan, Siyang
Aaron | | | -12/7 |
**Project Presentations**

Amos, Suleman, Rita
Vishal, Nikita, Dan
Zijian, Yuchen
Ashish, Athena
Matt T.
Roger, Zifan | | | +12/7 |
**Project Presentations**

Amos, Suleman, Rita
Vishal, Nikita, Dan
Zijian, Yuchen
Ashish, Athena
Roger, Zifan | | | 12/9 |
**Project Presentations**

Anna, Keaton, Shiyu
Nathan
Jinwoo
Martin
Nikhil, Scott
Rishabh, Matt, Yucheng | | | 12/11 |
**PROJECTS DUE**
| | | Projects Due