Fast and precise certification of transformers. - Gregory Bonaert; Dimitar I. Dimitrov; Maximilian Baader; Martin T. Vechev (PLDI, 2021)