publications

2025

  1. Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk)
    Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Ślusarz, and Luca Arnaboldi
    In 10th International Conference on Formal Structures for Computation and Deduction (FSCD), 2025
    DOI

2024

  1. A neurosymbolic framework for bias correction in convolutional neural networks
    Parth Padalkar, Natalia Ślusarz, Ekaterina Komendantskaya, and Gopal Gupta
    Theory and Practice of Logic Programming, 2024
    DOI
  2. Taming Differentiable Logics with Coq Formalisation
    Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Ślusarz, and Kathrin Stark
    In 15th International Conference on Interactive Theorem Proving (ITP 2024), 2024
    DOI

2023

  1. Logic of Differentiable Logics: Towards a Uniform Semantics of DL
    Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt, Robert Stewart, and Kathrin Stark
    In Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2023
    DOI