Title of paper: X-by-Construction Meets Intersymbolic AI

Abstract

X-by-Construction (XbC) encompasses extensions beyond correctness concerns which are common in the traditional Correctness-by-Construction (CbC) paradigm. Like CbC, XbC is a refinement approach to engineer systems that by construction satisfy certain (non-functional) properties. An ISoLA 2024 track gathered experts to discuss possible synergies between CbC/XbC and symbolic or subsymbolic Artificial Intelligence (AI). A key benefit of symbolic (rule-based) AI is its formal rigor, which comes at the cost of formal modeling effort and computational expensive reasoning. Subsymbolic (data-driven) AI approaches, on the other hand, usually outperform rigorous ones in performance but might lead to unsound results. An AISoLA 2025 track gathered experts to discuss the emerging field of Intersymbolic AI, which aims to exploit the benefits of both AI approaches, and the role of formal methods therein. The scope of the ISoLA 2026 track on "X-by-Construction Meets Intersymbolic AI" (XbC-IAI) was to gather researchers and practitioners who work on the topics of these two tracks to discuss possible synergies between CbC/XbC and Intersymbolic AI. These proceedings of the XbC-IAI track contain 13 contributions by participants.