collaborators

1 paper

cs.MS2025

RLibm-MultiRound: Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode

Sehyeok Park, Justin Kim, Santosh Nagarakatte

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…