← Search

Frank Sommer

7 accepted papers

2026

Tractability via Low Dimensionality: The Parameterized Complexity of Training Quantized Neural Networks

ICLR 2026poster

The training of neural networks has been extensively studied from both algorithmic and complexity-theoretic perspectives, yet recent results in this direction almost exclusively concern real-valued networks. In contrast, advances in machine learning practice highlight the benefits of quantization, w…

Cited by 0SourceScholar
2025

Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms

ICML 2025poster

Binary decision diagrams (BDDs) are widely applied tools to compactly represent labeled data as directed acyclic graphs; for efficiency and interpretability reasons small BDDs are preferred. Given labeled data, minimizing BDDs is NP-complete and thus recent research focused on the influence of param…

Cited by 0SourcePDFScholar
2025

Optimal Decision Tree Pruning Revisited: Algorithms and Complexity

ICML 2025poster

We present a comprehensive classical and parameterized complexity analysis of decision tree pruning operations, extending recent research on the complexity of learning small decision trees. Thereby, we offer new insights into the computational challenges of decision tree simplification, a crucial as…

Cited by 0SourcePDFScholar
2025

Witty: An Efficient Solver for Computing Minimum-Size Decision Trees

AAAI 2025technical

Decision trees are a classic model for summarizing and classifying data. To enhance interpretability and generalization properties, it has been proposed to favor small decision trees. Accordingly, in the minimum-size decision tree training problem (MSDT), the input is a set of training examples in…

Cited by 1SourcePDFScholar