From 69d92deda7c195e6e6d2dfde03a10bb466ae089d Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Mon, 28 Oct 2019 00:07:25 -0500 Subject: [PATCH] Add AD paper. --- website/docs/resources/readings.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/website/docs/resources/readings.md b/website/docs/resources/readings.md index e267efd..8a62471 100644 --- a/website/docs/resources/readings.md +++ b/website/docs/resources/readings.md @@ -246,6 +246,9 @@ - Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, and Martin Vechev [*AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation*](https://files.sri.inf.ethz.ch/website/papers/sp2018.pdf). S&P 2018. +- Atilim Gunes Baydin, Barak A. Pearlmutter, Alexey Andreyevich Radul, and Jeffrey Mark Siskind. + [*Automatic differentiation in machine learning: a survey*](https://arxiv.org/pdf/1502.05767). + JMLR 2018. - Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, and Martin Vechev. [*DL2: Training and Querying Neural Networks with Logic*](http://proceedings.mlr.press/v97/fischer19a/fischer19a.pdf). ICML 2019.