5 citations · 11 across the 4 of their papers we have counts for
4 papers
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning
Christoph Lauter, Anastasia Volkova
Deep Neural Networks (DNN) represent a performance-hungry application. Floating-Point (FP) and custom floating-point-like arithmetic satisfies this hunger. While there is need for…
Radix Conversion for IEEE754-2008 Mixed Radix Floating-Point Arithmetic
O. Kupriianova, Ch. Lauter, J. -M. Muller
Conversion between binary and decimal floating-point representations is ubiquitous. Floating-point radix conversion means converting both the exponent and the mantissa. We develop…
Optimizing polynomials for floating-point implementation
Florent De Dinechin, Christoph Quirin Lauter
The floating-point implementation of a function on an interval often reduces to polynomial approximation, the polynomial being typically provided by Remez algorithm. However, the f…
Certifying floating-point implementations using Gappa
Florent De Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, o…