Fast and precise certification of transformers.

Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev

Browse the full PLDI paper archive.