On Correctness of Automatic Differentiation for Non-Differentiable Functions - Wonyeol Lee; Hangyeol Yu; Xavier Rival; Hongseok Yang (2020)