4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LG2023★ 4 cited
The Power of Typed Affine Decision Structures: A Case Study
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi +1
TADS are a novel, concise white-box representation of neural networks. In this paper, we apply TADS to the problem of neural network verification, using them to generate either pro…
cs.LG2023
A Structural Approach to the Design of Domain Specific Neural Network Architectures
Gerrit Nolte
This is a master's thesis concerning the theoretical ideas of geometric deep learning. Geometric deep learning aims to provide a structured characterization of neural network archi…