@inproceedings{provablycorrectautomaticsub,
  title = {Provably Correct Automatic Sub-Differentiation for Qualified Programs},
  author = {Sham M. Kakade and Jason D. Lee},
  year = {2018},
  booktitle = {NeurIPS 2018 12},
  url = {http://papers.nips.cc/paper/7943-provably-correct-automatic-sub-differentiation-for-qualified-programs},
}