Author:Ekaterina Komendantskaya

Publications
The Vehicle Tutorial: Neural Network Verification with Vehicle Matthew Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke and Jeonghyeon Lee In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification Marco Casadio, Luca Arnaboldi, Matthew Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser and Ekaterina Komendantskaya In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Logic of Differentiable Logics: Towards a Uniform Semantics of DL Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt, Robert Stewart and Kathrin Stark In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
PAR-10. Partiality and Recursion in Interactive Theorem Provers Ekaterina Komendantskaya, Ana Bove and Milad Niqui (editors) EPiC Series in Computing, volume 5