artifact_pldi2021

Artifact evaluated and awarded the Function badge at the PLDI 2021 conference for the paper "Fast and Precise Certification of Transformers" by Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader and Martin Vechev