@entry{lau-vol-20-aa,
  author = {C Lauter and A Volkova},
  title = {A framework for semi-automatic precision and accuracy analysis for fast and rigorous deep learning},
  journal = {2020 IEEE 27th Symposium on ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2020,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/9154496/?casa_token=ectA_rNRqkkAAAAA:vrE1Pjdbat7zvAXCN6uAyvMfX3LCy9FBcFOEi5cIc0yCiBMsht4zyCZ7EALSWyJY-YG4tHUA}}},
  quotes = {... A workable approach is found with Affine Arithmetic (AA), as developed eg by Putot [23]. Every FP quantity \uc{02c6}q is annotated with a bound \uc{03b5} that expresses the quantity\uc{2019}s error with respect ...}
}