Verifying Properties of Differentiable Programs.

Jan Hckelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland

Browse the full SAS paper archive.