about
blog
Gregory Bonaert
.
Machine Learning Engineer @
LatticeFlow
.
Research
Fast and Precise Certification of Transformers (
Paper
,
Poster
)
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, and Martin Vechev. PLDI 2021