Gerrit Nolte

According to our database, Gerrit Nolte authored at least 8 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., June, 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., June, 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., June, 2023

Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn).

Nils Jansen, Gerrit Nolte, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., June, 2023

A Structural Approach to the Design of Domain Specific Neural Network Architectures.

Gerrit Nolte

CoRR, 2023

ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages.

Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen

Proceedings of the Bridging the Gap Between AI and Reality, 2023

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

Formal Methods Meet Machine Learning (F3ML).

Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022