4 citations · 4 across the 3 of their papers we have counts for
4 papers
SOMA: From Surface Observations to Muscle Anatomy
Eduardo Alvarado, Emily Kim, Gerrit Nolte +4
With the growing demand for realistic virtual humans, parametric body models have become a cornerstone of modern medicine, sports, and entertainment applications. However, most of…
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…
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…
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi +1
In this paper we present an algebraic approach to the precise and global verification and explanation of Rectifier Neural Networks, a subclass of Piece-wise Linear Neural Networks…