1 citations · 1 across the 3 of their papers we have counts for
3 papers
CheckINN: Wide Range Neural Network Verification in Imandra (Extended)
Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya +1
Neural networks are increasingly relied upon as components of complex safety-critical systems such as autonomous vehicles. There is high demand for tools and methods that embed neu…
Differentiable Logics for Neural Network Training and Verification
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt +1
The rising popularity of neural networks (NNs) in recent years and their increasing prevalence in real-world applications have drawn attention to the importance of their verificati…
Why Robust Natural Language Understanding is a Challenge
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser +4
With the proliferation of Deep Machine Learning into real-life applications, a particular property of this technology has been brought to attention: robustness Neural Networks noto…