@misc{indiciae20b09de060a8,
  title = {Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting},
  author = {Edward Misback and Caleb C. Chan and Brett Saiki and Eunice Jun and Zachary Tatlock and Pavel Panchekha},
  year = {2023},
  url = {https://arxiv.org/abs/2305.10599},
  note = {Source identifier: 2305.10599}
}