Picture for Alnis Murtovi

Alnis Murtovi

The Power of Typed Affine Decision Structures: A Case Study

Add code
Apr 28, 2023
Viaarxiv icon

Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations

Add code
Jan 19, 2023
Viaarxiv icon

ADD-Lib: Decision Diagrams in Practice

Add code
Dec 24, 2019
Figure 1 for ADD-Lib: Decision Diagrams in Practice
Figure 2 for ADD-Lib: Decision Diagrams in Practice
Figure 3 for ADD-Lib: Decision Diagrams in Practice
Figure 4 for ADD-Lib: Decision Diagrams in Practice
Viaarxiv icon