conftrace_

mathematical analysis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

differentiation theory (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