Ekaterina Komendantskaya

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 63

Top Venues

CoRR

LOPSTR

PPDP

Theory Pract. Log. Program.

Publications

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. CoRR (2024)
Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
A Neurosymbolic Framework for Bias Correction in CNNs. CoRR (2024)
Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz
A Certified Proof Checker for Deep Neural Network Verification. CoRR (2024)
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
Taming Differentiable Logics with Coq Formalisation. CoRR (2024)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) (2024)
Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon
NLP Verification: Towards a General Methodology for Certifying Robustness. CoRR (2024)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR (2024)
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
The Vehicle Tutorial: Neural Network Verification with Vehicle. FoMLAS@CAV (2023)
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. FoMLAS@CAV (2023)
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
Towards a Certified Proof Checker for Deep Neural Network Verification. LOPSTR (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. LPAR (2023)
Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. CPP (2023)
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. CoRR (2023)
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
Towards a Certified Proof Checker for Deep Neural Network Verification. CoRR (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. CoRR (2023)
Vaishak Belle, Michael Fisher, Alessandra Russo, Ekaterina Komendantskaya, Alistair Nottle
Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges. AAMAS Workshops (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
Differentiable Logics for Neural Network Training and Verification. CoRR (2022)
Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones
The Effect of Manifold Entanglement and Intrinsic Dimensionality on Learning. AAAI (2022)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
Neural Network Robustness as a Verification Property: A Principled Case Study. CAV (1) (2022)
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew Daggit
CheckINN: Wide Range Neural Network Verification in Imandra. PPDP (2022)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
Differentiable Logics for Neural Network Training and Verification. NSV/FoMLAS@CAV (2022)
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers. CoRR (2022)
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke
Why Robust Natural Language Understanding is a Challenge. CoRR (2022)
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt
CheckINN: Wide Range Neural Network Verification in Imandra (Extended). CoRR (2022)
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya
Neural Networks in Imandra: Matrix Representation as a Verification Choice. CoRR (2022)
Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones
Comparing Complexities of Decision Boundaries for Robust Training: A Universal Approach. ACCV (6) (2022)
Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart
Property-driven Training: All You (N)Ever Wanted to Know About. CoRR (2021)
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
Actions you can handle: dependent types for AI plans. TyDe@ICFP (2021)
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
Actions You Can Handle: Dependent Types for AI Plans. CoRR (2021)
Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz
Continuous Verification of Machine Learning: a Declarative Programming Approach. PPDP (2020)
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
Proof-Carrying Plans: a Resource Logic for AI Planning. CoRR (2020)
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. CoRR (2020)
Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall
Neural Networks, Secure by Construction - An Exploration of Refinement Types. APLAS (2020)
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
Proof-Carrying Plans: a Resource Logic for AI Planning. PPDP (2020)
Pascal Bacchus, Robert J. Stewart, Ekaterina Komendantskaya
Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs. ARC (2020)
Kirsty Duncan, Ekaterina Komendantskaya, Robert J. Stewart, Michael A. Lones
Relative Robustness of Quantized Neural Networks Against Adversarial Attacks. IJCNN (2020)
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. Theory Pract. Log. Program. 20 (6) (2020)
Henning Basold, Ekaterina Komendantskaya, Yue Li
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. ESOP (2019)
Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
Proof-Carrying Plans. PADL (2019)
Ekaterina Komendantskaya, Rob Stewart, Kirsty Duncan, Daniel Kienitz, Pierre Le Hen, Pascal Bacchus
Neural Network Verification for the Masses (of AI graduates). CoRR (2019)
Ekaterina Komendantskaya, Yue Li
Coinductive Uniform Proofs. CoRR (2019)
Ekaterina Komendantskaya, Yue Li
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper. HCVS (2018)
Ekaterina Komendantskaya, John Power
Logic programming: Laxness and saturation. J. Log. Algebraic Methods Program. 101 (2018)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. CoRR (2018)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Theory Pract. Log. Program. 18 (3-4) (2018)
Henning Basold, Ekaterina Komendantskaya, Yue Li
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. CoRR (2018)
Peng Fu, Ekaterina Komendantskaya
Operational semantics of resolution and productivity in Horn clause logic. Formal Aspects Comput. 29 (3) (2017)
Ekaterina Komendantskaya, Jónathan Heras
Proof Mining with Dependent Types. CICM (2017)
Ekaterina Komendantskaya, Yue Li
Productive Corecursion in Logic Programming. CoRR (2017)
Ekaterina Komendantskaya, Jónathan Heras
Proof Mining with Dependent Types. CoRR (2017)
Ekaterina Komendantskaya, Yue Li
Productive corecursion in logic programming. Theory Pract. Log. Program. 17 (5-6) (2017)
Ekaterina Komendantskaya, John Power
Category theoretic semantics for theorem proving in logic programming: embracing the laxness. CoRR (2016)
Ekaterina Komendantskaya, Frantisek Farka
CoALP-Ty'16. CoRR (2016)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu
Coinductive Soundness of Corecursive Type Class Resolution. CoRR (2016)
Ekaterina Komendantskaya, John Power
Logic programming: laxness and saturation. CoRR (2016)
Peng Fu, Ekaterina Komendantskaya
Operational Semantics of Resolution in Horn Clause Logic. CoRR (2016)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
Coinductive Soundness of Corecursive Type Class Resolution. LOPSTR (2016)
Ekaterina Komendantskaya, John Power
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness. CMCS (2016)
Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt
A Productivity Checker for Logic Programming. CoRR (2016)
Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt
A Productivity Checker for Logic Programming. LOPSTR (2016)
Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
Proof Relevant Corecursive Resolution. FLOPS (2016)
Ekaterina Komendantskaya, John Power, Martin Schmidt
Coalgebraic logic programming: from Semantics to Implementation. J. Log. Comput. 26 (2) (2016)
Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya
Structural Resolution for Abstract Compilation of Object-Oriented Languages. CoALP-Ty (2016)
Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
Proof Relevant Corecursive Resolution. CoRR (2015)
Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy
Structural Resolution for Logic Programming. ICLP (Technical Communications) (2015)
Peng Fu, Ekaterina Komendantskaya
A Type-Theoretic Approach to Resolution. LOPSTR (2015)
Peng Fu, Ekaterina Komendantskaya
A Type-Theoretic Approach to Resolution. CoRR (2015)
Ekaterina Komendantskaya, Patricia Johann
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic. CoRR (2015)
Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy
Structural Resolution for Logic Programming. CoRR (2015)
Peng Fu, Ekaterina Komendantskaya
A Type-Theoretic Approach to Structural Resolution. CoRR (2015)
Jónathan Heras, Ekaterina Komendantskaya
HoTT formalisation in Coq: Dependency Graphs \& ML4PG. CoRR (2014)
Jónathan Heras, Ekaterina Komendantskaya
Proof Pattern Search in Coq/SSReflect. CoRR (2014)
Jónathan Heras, Ekaterina Komendantskaya
ACL2(ml): Machine-Learning for ACL2. ACL2 (2014)
Jónathan Heras, Ekaterina Komendantskaya
Recycling Proof Patterns in Coq: Case Studies. Math. Comput. Sci. 8 (1) (2014)
Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
Exploiting Parallelism in Coalgebraic Logic Programming. Electron. Notes Theor. Comput. Sci. 303 (2014)
Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt
Guarding (Co)Recursion in Coalgebraic Logic Programming. CoRR (2014)
Jónathan Heras, Ekaterina Komendantskaya
ML4PG in Computer Algebra Verification. MKM/Calculemus/DML (2013)
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
Proof-Pattern Recognition and Lemma Discovery in ACL2. LPAR (2013)
Ekaterina Komendantskaya, John Power, Martin Schmidt
Coalgebraic Logic Programming: from Semantics to Implementation. CoRR (2013)
Jónathan Heras, Ekaterina Komendantskaya
Statistical Proof-Patterns in Coq/SSReflect CoRR (2013)
Jónathan Heras, Ekaterina Komendantskaya
ML4PG: proof-mining in Coq CoRR (2013)
Jónathan Heras, Ekaterina Komendantskaya
Statistical Proof Pattern Recognition: Automated or Interactive? CoRR (2013)
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
Proof-Pattern Recognition in ACL2. CoRR (2013)
Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
Exploiting Parallelism in Coalgebraic Logic Programming. CoRR (2013)
Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov
Machine Learning in Proof General: Interfacing Interfaces UITP (2012)
Ekaterina Komendantskaya, Kacper Lichota
Neural Networks for Proof-Pattern Recognition. ICANN (2) (2012)
Ekaterina Komendantskaya
Machine Learning Coalgebraic Proofs. ILP (Late Breaking Papers) (2011)
Ekaterina Komendantskaya, John Power
Coalgebraic Semantics for Derivations in Logic Programming. CALCO (2011)
Ekaterina Komendantskaya, Qiming Zhang
SHERLOCK - An Interface for Neuro-Symbolic Networks. NeSy (2011)
Ekaterina Komendantskaya
Unification neural networks: unification by error-correction learning. Log. J. IGPL 19 (6) (2011)
Ekaterina Komendantskaya, John Power
Coalgebraic Derivations in Logic Programming. CSL (2011)
Ekaterina Komendantskaya, Guy McCusker, John Power
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. AMAST (2010)
Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez
Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. ICANN (1) (2010)
Ekaterina Komendantskaya
Neurons or Symbols - Why does OR Remain Exclusive?. IJCCI (2009)
Ekaterina Komendantskaya
Parallel Rewriting in Neural Networks. IJCCI (2009)
Ekaterina Komendantskaya, Anthony Karel Seda
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. Electron. Notes Theor. Comput. Sci. 225 (2009)
Yves Bertot, Ekaterina Komendantskaya
Using Structural Recursion for Corecursion CoRR (2009)
Yves Bertot, Ekaterina Komendantskaya
Inductive and Coinductive Components of Corecursive Functions in Coq CoRR (2008)
Yves Bertot, Ekaterina Komendantskaya
Inductive and Coinductive Components of Corecursive Functions in Coq. CMCS (2008)
Ekaterina Komendantskaya
Unification by Error-Correction. NeSy (2008)

Ekaterina Komendantskaya.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ekaterina Komendantskaya