4 citations · 4 across the 1 of their papers we have counts for
1 paper
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…