@article{kakade_provably_2018,
	title = {Provably {Correct} {Automatic} {Subdifferentiation} for {Qualified} {Programs}},
	journal = {arXiv:1809.08530},
	author = {Kakade, Sham and Lee, Jason D.},
	month = sep,
	year = {2018},
	note = {arXiv: http://arxiv.org/abs/1809.08530},
	keywords = {/unread, cs.LG, math.OC, stat.ML, ⛔ No DOI found},
}

{"_id":"2HoYBaytM8ZA9qm3p","bibbaseid":"kakade-lee-provablycorrectautomaticsubdifferentiationforqualifiedprograms-2018","author_short":["Kakade, S.","Lee, J. D."],"bibdata":{"bibtype":"article","type":"article","title":"Provably Correct Automatic Subdifferentiation for Qualified Programs","journal":"arXiv:1809.08530","author":[{"propositions":[],"lastnames":["Kakade"],"firstnames":["Sham"],"suffixes":[]},{"propositions":[],"lastnames":["Lee"],"firstnames":["Jason","D."],"suffixes":[]}],"month":"September","year":"2018","note":"arXiv: http://arxiv.org/abs/1809.08530","keywords":"/unread, cs.LG, math.OC, stat.ML, ⛔ No DOI found","bibtex":"@article{kakade_provably_2018,\n\ttitle = {Provably {Correct} {Automatic} {Subdifferentiation} for {Qualified} {Programs}},\n\tjournal = {arXiv:1809.08530},\n\tauthor = {Kakade, Sham and Lee, Jason D.},\n\tmonth = sep,\n\tyear = {2018},\n\tnote = {arXiv: http://arxiv.org/abs/1809.08530},\n\tkeywords = {/unread, cs.LG, math.OC, stat.ML, ⛔ No DOI found},\n}\n\n","author_short":["Kakade, S.","Lee, J. D."],"key":"kakade_provably_2018","id":"kakade_provably_2018","bibbaseid":"kakade-lee-provablycorrectautomaticsubdifferentiationforqualifiedprograms-2018","role":"author","urls":{},"keyword":["/unread","cs.LG","math.OC","stat.ML","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/victorjhu","dataSources":["CmHEoydhafhbkXXt5"],"keywords":["/unread","cs.lg","math.oc","stat.ml","⛔ no doi found"],"search_terms":["provably","correct","automatic","subdifferentiation","qualified","programs","kakade","lee"],"title":"Provably Correct Automatic Subdifferentiation for Qualified Programs","year":2018}