BibTeX
@INPROCEEDINGS{
         Kakade2018PCA,
       author = "Kakade, Sham M. and Lee, Jason D.",
       booktitle = "Advances in Neural Information Processing Systems",
       editor = "S. Bengio and H. Wallach and H. Larochelle and K. Grauman and N. Cesa-Bianchi and R.
         Garnett",
       pages = "7125--7135",
       publisher = "Curran Associates, Inc.",
       title = "Provably Correct Automatic Sub-Differentiation for Qualified Programs",
       url =
         "https://proceedings.neurips.cc/paper/2018/file/142c65e00f4f7cf2e6c4c996e34005df-Paper.pdf",
       volume = "31",
       year = "2018",
       ad_theotech = "Generalized Subderivatives"
}