Takip et
Gregory Bonaert
Gregory Bonaert
Machine Learning Engineer at LatticeFlow
latticeflow.ai üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Fast and precise certification of transformers
G Bonaert, DI Dimitrov, M Baader, M Vechev
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
302021
Explainable reinforcement learning through goal-based interpretability
G Bonaert, Y Coppens, D Steckelmacher, A Nowe
12020
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–2