Skip to main content

Static Analysis for the VErification of Spreadsheets

Publications

On Correctness of Automatic Differentiation for Non-Differentiable Functions

Author(s): Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok
Published in: https://hal.inria.fr/hal-03081582, 1, 2020, Page(s) All
Publisher: NeurIPS 2020 - 34th Conference on Neural Information Processing Systems