Sign in
Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code.
Markus Schordan
Jan Hückelheim
Pei-Hung Lin
Harshitha Menon
Published in:
CORRECTNESS@SC (2017)
Keyphrases
</>
floating point
square root
floating point arithmetic
fixed point
semi automatically
instruction set
sparse matrices
fast fourier transform
interval arithmetic
reinforcement learning
data management
fourier transform
automatically generated