Frank Sommer

4 papers · 2023–2025 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (10)

Venues

ICML (3) AAAI (1)

Top co-authors

Manuel Sorge (4) Christian Komusiewicz (3) Luca Pascal Staus (2) Stefan Szeider (1) Juha Harviainen (1) Andre Schidler (1) Pascal Kunz (1)

Research topics

Mathematics & Optimization (4) Machine Learning (3) Optimization (3) Optimization & Theory (3) Core Methods (2) Artificial Intelligence (1) Deep Learning (1) Knowledge & Reasoning (1) Architectures (1) Core AI (1) Mathematics (1) Representation (1)

Keywords

tree ensemble (2) decision tree (2) np-complete (2) combinatorial optimization (2) hamming distance (1) optimization algorithm (1) binary decision diagram (1) random forest (1) np-hard problem (1) optimal tree (1) fixed-parameter tractability (1) minimum-size decision tree (1) witness tree (1) decision tree pruning (1) bdds (1) minimization (1) witness-tree paradigm (1) domain size (1) subtree raising (1) subtree replacement (1)

Papers

Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms ICML 2025 Optimal Decision Tree Pruning Revisited: Algorithms and Complexity ICML 2025 Witty: An Efficient Solver for Computing Minimum-Size Decision Trees AAAI 2025 On Computing Optimal Tree Ensembles ICML 2023