TY - RPRT TI - On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters AU - Wonyeol Lee AU - Sejun Park AU - Alex Aiken PY - 2023 UR - https://arxiv.org/abs/2301.13370 ID - 2301.13370 ER -