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
∙
04/20/2021
A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments
The use of low- and no-code modeling tools is today an established way i...
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
Aggressive Aggregation: a New Paradigm for Program Optimization
In this paper, we propose a new paradigm for program optimization which ...
research
∙
12/23/2019