Author:Omri Isac

Publications
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
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems Nina Narodytska, Guy Amir, Guy Katz and Omri Isac (editors) Kalpa Publications in Computing, volume 16