Picture for Bernhard Steffen

Bernhard Steffen

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

Large Random Forests: Optimisation for Rapid Evaluation

Add code
Dec 23, 2019
Figure 1 for Large Random Forests: Optimisation for Rapid Evaluation
Figure 2 for Large Random Forests: Optimisation for Rapid Evaluation
Figure 3 for Large Random Forests: Optimisation for Rapid Evaluation
Figure 4 for Large Random Forests: Optimisation for Rapid Evaluation
Viaarxiv icon