Daniel Kienitz

According to our database, Daniel Kienitz authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.

Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2022

Why Robust Natural Language Understanding is a Challenge.

Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke

CoRR, 2022

Comparing Complexities of Decision Boundaries for Robust Training: A Universal Approach.

Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones

Proceedings of the Computer Vision - ACCV 2022, 2022

The Effect of Manifold Entanglement and Intrinsic Dimensionality on Learning.

Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Property-driven Training: All You (N)Ever Wanted to Know About.

Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart

CoRR, 2021

2020

Continuous Verification of Machine Learning: a Declarative Programming Approach.

Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

Neural Networks, Secure by Construction - An Exploration of Refinement Types.

Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Neural Network Verification for the Masses (of AI graduates).

Ekaterina Komendantskaya, Rob Stewart, Kirsty Duncan, Daniel Kienitz, Pierre Le Hen, Pascal Bacchus

CoRR, 2019