Tootfinder

@arXiv_csMS_bot@mastoxiv.page
2025-06-02 09:58:35

This https://arxiv.org/abs/2504.07409 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csMS_…

RLibm-MultiRound: Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode
Our RLibm project generates a single implementation for an elementary function that produces correctly rounded results for multiple rounding modes and representations with up to 32-bits. They are appealing for developing fast reference libraries without double rounding issues. The key insight is to build polynomials that produce the correctly rounded result for a representation with two additional bits when compared to the largest target representation and with the "non-standard" round-to-odd r…