research
∙
04/28/2023
The Power of Typed Affine Decision Structures: A Case Study
TADS are a novel, concise white-box representation of neural networks. I...
share
research
∙
01/19/2023
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations
In this paper we present an algebraic approach to the precise and global...
research
∙
12/24/2019
ADD-Lib: Decision Diagrams in Practice
In the paper, we present the ADD-Lib, our efficient and easy to use fram...
research
∙
12/24/2019