conftrace_

differentiation theory

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

mathematical analysis (1) floating point arithmetic (1) neural network (1) correctness guarantee (1) clarke subderivative (1) gradient computation (1) automatic differentiation (1)

Papers

On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters ICML 2023