conftrace_

floating point arithmetic

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

complete verifier (1) mathematical analysis (1) differentiation theory (1) numerical precision (1) block floating point (1) neural network (1) dynamic range (1) correctness guarantee (1) clarke subderivative (1) hardware accelerator (1)

Papers

On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters ICML 2023 Fooling a Complete Neural Network Verifier ICLR 2021 Training DNNs with Hybrid Block Floating Point NeurIPS 2018