conftrace_

clarke subderivative

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

automatic differentiation (2) correctness guarantee (1) neural network (1) max pooling (1) mathematical analysis (1) differentiation theory (1) bias parameter (1) floating point arithmetic (1) activation function (1) gradient computation (1)

Papers

What does automatic differentiation compute for neural networks? ICLR 2024 On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters ICML 2023