@entry{bon-dim-baa-21-aa,
  author = {G Bonaert and DI Dimitrov and M Baader...},
  title = {Fast and precise certification of transformers},
  journal = {Proceedings of the 42nd ...,},
  year = 2021,
  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 ...}
}