@entry{bon-dim-baa-vec-21-aa-deept,
  author = {G Bonaert and DI Dimitrov and M Baader...},
  title = {Fast and precise certification of transformers},
  journal = {Proceedings of the 42nd ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2021,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/3453483.3454056?casa_token=Z_fm0T9QgxIAAAAA:vRVHa6a2Ga22ii4LZX0bc6OOk7u00MTNQcdflUrLwssyTnGcfFRWDtCWd_x2GHmiZvnGDEE4Pcc}}},
  quotes = {... All affine arithmetic operations such as sums, subtractions or scalings can be applied directly in the abstract Zonotope domain. Since affine arithmetic is exact, the corresponding ...}
}