Formal Methods Meet Machine Learning (F3ML). - Kim G. Larsen; Axel Legay; Gerrit Nolte; Maximilian Schlüter; Mariëlle Stoelinga; Bernhard Steffen (ISoLA (3), 2022)

Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models. - Maximilian Schlüter; Gerrit Nolte (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022)

ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. - Daniel Busch; Gerrit Nolte; Alexander Bainczyk; Bernhard Steffen (AISoLA, 2023)

A Structural Approach to the Design of Domain Specific Neural Network Architectures. - Gerrit Nolte (CoRR, 2023)

Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). - Nils Jansen 001; Gerrit Nolte; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

Forest GUMP: a tool for verification and explanation. - Alnis Murtovi; Alexander Bainczyk; Gerrit Nolte; Maximilian Schlüter; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

The power of typed affine decision structures: a case study. - Gerrit Nolte; Maximilian Schlüter; Alnis Murtovi; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

Towards rigorous understanding of neural networks via semantics-preserving transformations. - Maximilian Schlüter; Gerrit Nolte; Alnis Murtovi; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)