4 citations · 7 across the 5 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
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.LG2019★ 2 cited
ADD-Lib: Decision Diagrams in Practice
Frederik Gossen, Alnis Murtovi, Philip Zweihoff +1
In the paper, we present the ADD-Lib, our efficient and easy to use framework for Algebraic Decision Diagrams (ADDs). The focus of the ADD-Lib is not so much on its efficient imple…