@misc{indiciae6d6838471c29,
  title = {A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations},
  author = {Jay P. Lim and Mridul Aanjaneya and John Gustafson and Santosh Nagarakatte},
  year = {2020},
  url = {https://arxiv.org/abs/2007.05344},
  note = {Source identifier: 2007.05344}
}