From 37bf110186cf4cfb9eebc5ae5756b088aef05ea9 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Wed, 2 Oct 2019 17:31:34 -0500 Subject: [PATCH] One more scribing. --- 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 13a3569..c2da1ce 100644 --- a/website/docs/schedule/lectures.md +++ b/website/docs/schedule/lectures.md @@ -35,6 +35,6 @@ 11/1 | Automata learning and interpretability
**Reading:** [*Model Learning*](https://m-cacm.acm.org/magazines/2017/2/212445-model-learning/fulltext)
**Reading:** [*Interpreting Finite Automata for Sequential Data*](https://arxiv.org/pdf/1611.07100) | Jack/Jack | Abhirav/Rajan | 11/4 | Programming languages for differential privacy
**Reading:** [*Programming Language Techniques for Differential Privacy*](https://dl.acm.org/citation.cfm?id=2893591&dl=ACM&coll=DL) | JH | --- | 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)
**Reading:** [*DL2: Training and Querying Neural Networks with Logic*](http://proceedings.mlr.press/v97/fischer19a/fischer19a.pdf) | JH | --- | -11/8 | Verifying probabilistic programs
**Reading:** [*Advances and Challenges of Probabilistic Model Checking*](https://www.prismmodelchecker.org/papers/allerton10.pdf)
**Reading:** [*A Program Logic for Union Bounds*](https://arxiv.org/pdf/1602.05681) | JH | --- | MS2 Due +11/8 | Verifying probabilistic programs
**Reading:** [*Advances and Challenges of Probabilistic Model Checking*](https://www.prismmodelchecker.org/papers/allerton10.pdf)
**Reading:** [*A Program Logic for Union Bounds*](https://arxiv.org/pdf/1602.05681) | JH | Miru | MS2 Due |

**No Lectures: Work on Projects**

| | | 12/11 (TBD) | Project Presentations | | |