Abstract
Neural networks are behind many of the most advanced intelligent systems, yet theirlack of interpretability and explainability remains a significant challenge. In a neurosymbolic approach, the infinite-valued Lukasiewicz logic ( L) may be used to representneural networks in a formal language, enabling formal verification of their propertiesthrough logical formula evaluation. While previou…