1 citations · 2 across the 6 of their papers we have counts for
6 papers
FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
Tung-Che Chang, Sehyeok Park, Jay P Lim +1
The upcoming IEEE-P3109 standard for low-precision floating-point arithmetic can become the foundation of future machine learning hardware and software. Unlike IEEE-754, P3109 intr…
Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes
Sehyeok Park, Jay P. Lim, Santosh Nagarakatte
This paper proposes sufficient, yet more general conditions for applying FastTwoSum as an error-free transformation (EFT) under all faithful rounding modes. Additionally, it also i…
RLIBM-PROG: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
This paper presents a novel method for generating a single polynomial approximation that produces correctly rounded results for all inputs of an elementary function for multiple re…
RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes
Jay P. Lim, Santosh Nagarakatte
Mainstream math libraries for floating point (FP) do not produce correctly rounded results for all inputs. In contrast, CR-LIBM and RLIBM provide correctly rounded implementations…
RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Jay P. Lim, Santosh Nagarakatte
This paper proposes a set of techniques to develop correctly rounded math libraries for 32-bit float and posit types. It enhances our RLibm approach that frames the problem of gene…
A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations
Jay P. Lim, Mridul Aanjaneya, John Gustafson +1
Given the importance of floating-point~(FP) performance in numerous domains, several new variants of FP and its alternatives have been proposed (e.g., Bfloat16, TensorFloat32, and…