| 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 | 99 | 2024 |
| Machine Learning in Proof General: Interfacing Interfaces E Komendantskaya, J Heras, G Grov EPTCS 118 (User Interfaces for Theorem Provers), 15-41, 2013 | 77* | 2013 |
| 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 | 76 | 2022 |
| Proof-pattern recognition and lemma discovery in ACL2 J Heras, E Komendantskaya, M Johansson, E Maclean International Conference on Logic for Programming Artificial Intelligence …, 2013 | 62 | 2013 |
| Coalgebraic logic programming: from semantics to implementation E Komendantskaya, AJ Power, M Schmidt Journal of Logic and Computation 26 (2), 745-783, 2016 | 47 | 2016 |
| Unification neural networks: unification by error-correction learning E Komendantskaya Logic Journal of the IGPL 19 (6), 821-847, 2011 | 45* | 2011 |
| Inductive and coinductive components of corecursive functions in Coq Y Bertot, E Komendantskaya Coalgebraic Methods in Computer Science, 2008, arXiv preprint arXiv:0807.1524, 2008 | 41 | 2008 |
| 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 | 40 | 2020 |
| Operational semantics of resolution and productivity in Horn clause logic P Fu, E Komendantskaya Formal Aspects of Computing 29 (3), 453-474, 2017 | 40* | 2017 |
| Proof Relevant Corecursive Resolution P Fu, E Komendantskaya, T Schrijvers, A Pond FLOPS'2016 arXiv preprint arXiv:1511.09394, 2015 | 35 | 2015 |
| Coalgebraic semantics for derivations in logic programming E Komendantskaya, J Power International Conference on Algebra and Coalgebra in Computer Science, 268-282, 2011 | 35 | 2011 |
| Recycling Proof Patterns in Coq: Case Studies J Heras, E Komendantskaya Mathematics in Computer Science, 2013 | 33* | 2013 |
| Coalgebraic derivations in logic programming E Komendantskaya, J Power Computer Science Logic (CSL'11), 352-366, 2011 | 29 | 2011 |
| Logic of differentiable logics: Towards a uniform semantics of DL N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart, K Stark LPAR 2023: Logic for Programming, Artificial Intelligence and Reasoning, 2023 | 26 | 2023 |
| Coalgebraic semantics for parallel derivation strategies in logic programming E Komendantskaya, G McCusker, J Power International Conference on Algebraic Methodology and Software Technology …, 2010 | 26 | 2010 |
| 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 | 25 | 2021 |
| Using structural recursion for corecursion Y Bertot, E Komendantskaya International Workshop on Types for Proofs and Programs, 220-236, 2008 | 25 | 2008 |
| 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 | 23 | 2020 |
| 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 | 22 | 2019 |
| Productive corecursion in logic programming E Komendantskaya, Y Li ICLP, International Conference on Logic Programming 2017, 2017 | 21 | 2017 |
Jónathan HerasUniversity of La RiojaVerified email at unirioja.es
