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