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