6 citations · 18 across the 16 of their papers we have counts for
Showing cs.MSShow all
2 papers · 1 filter
cs.MS2021
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…
cs.MS2020
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…