Articles with public access mandates - Ekaterina KomendantskayaLearn more
Available somewhere: 28
Neural Network Robustness as a Verification Property: A Principled Case Study
M Casadio, E Komendantskaya, ML Daggitt, W Kokke, G Katz, G Amir, ...
CAV'2022 International Conference on Computer-Aided Verification, 2022
Mandates: UK Engineering and Physical Sciences Research Council
Coalgebraic logic programming: from semantics to implementation
E Komendantskaya, AJ Power, M Schmidt
Journal of Logic and Computation 26 (2), 745-783, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Operational semantics of resolution and productivity in Horn clause logic
P Fu, E Komendantskaya
Formal Aspects of Computing 29, 453-474, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Proof Relevant Corecursive Resolution
P Fu, E Komendantskaya, T Schrijvers, A Pond
FLOPS'2016 arXiv preprint arXiv:1511.09394, 2015
Mandates: Research Foundation (Flanders)
Relative robustness of quantized neural networks against adversarial attacks
K Duncan, E Komendantskaya, R Stewart, M Lones
2020 International Joint Conference on Neural Networks (IJCNN), 1-8, 2020
Mandates: UK Engineering and Physical Sciences Research Council
Coinduction in uniform: Foundations for corecursive proof search with Horn clauses
H Basold, E Komendantskaya, Y Li
ESOP'19: European Symposium on Programming, 783-813, 2019
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Productive corecursion in logic programming
E Komendantskaya, Y Li
ICLP, International Conference on Logic Programming 2017, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Optimising hardware accelerated neural networks with quantisation and a knowledge distillation evolutionary algorithm
R Stewart, A Nowlan, P Bacchus, Q Ducasse, E Komendantskaya
Electronics 10 (4), 396, 2021
Mandates: UK Engineering and Physical Sciences Research Council
Accuracy, training time and hardware efficiency trade-offs for quantized neural networks on fpgas
P Bacchus, R Stewart, E Komendantskaya
International symposium on applied reconfigurable computing, 121-135, 2020
Mandates: UK Engineering and Physical Sciences Research Council
Marabou 2.0: a versatile formal analyzer of neural networks
H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ...
International Conference on Computer Aided Verification, 249-264, 2024
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
ACL2 (ml): Machine-Learning for ACL2
J Heras, E Komendantskaya
arXiv preprint arXiv:1404.3034, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Exploiting Parallelism in Coalgebraic Logic Programming.
E Komendantskaya, M Schmidt, J Heras
ENTCS, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Proof Mining with Dependent Types
E Komendantskaya, J Heras
CICM 2017, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Coinductive Soundness of Corecursive Type Class Resolution
F Farka, E Komendantskaya, K Hammond
LOPSTR'2016 pre-proceedings at arXiv preprint arXiv:1608.05233, 2016
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Compiling higher-order specifications to SMT solvers: How to deal with rejection constructively
ML Daggitt, R Atkey, W Kokke, E Komendantskaya, L Arnaboldi
Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023
Mandates: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Logic programming: laxness and saturation
E Komendantskaya, J Power
Journal of Logic and Algebraic Methods in Programming, http://arxiv.org/abs …, 2018
Mandates: UK Engineering and Physical Sciences Research Council
Towards a Certified Proof Checker for Deep Neural Network Verification
R Desmartin, O Isac, G Passmore, K Stark, E Komendantskaya, G Katz
International Symposium on Logic-Based Program Synthesis and Transformation …, 2023
Mandates: UK Engineering and Physical Sciences Research Council
Neural Networks in Imandra: Matrix Representation as a Verification Choice
R Desmartin, G Passmore, E Komendantskaya
arXiv preprint arXiv:2205.09556, 2022
Mandates: UK Engineering and Physical Sciences Research Council
Proof-carrying plans: A resource logic for ai planning
A Hill, E Komendantskaya, RPA Petrick
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
Mandates: UK Engineering and Physical Sciences Research Council
The Vehicle Tutorial: Neural Network Verification with Vehicle
M Daggitt, W Kokke, E Komendantskaya, R Atkey, L Arnaboldi, N Slusarz, ...
The Kalpa Publications in Computing, https://easychair.org/publications …, 2023
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program