Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting.

Sun, 01 Jan 2023 00:00:00 +0100

Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha:
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. CoRR abs/2305.10599 (2023)