These results validate FIG as a principled, interpretable diagnostic tool for algorithm selection in exact learning; its diagnostic relevance becomes apparent on harder instances where solver runtime separation is substantial.
Abstract
Exact interpretable learning is attractive in regulated decision settings, but solver runtime can vary substantially across datasets and solver families. We introduce structural meta-features derived from Feature Interaction Graphs (FIG s) as interpretable signals for solver selection. We construct FIG s from binarized tabular data using pairwise mutual information and extract topology-aware signatures such as density and estimated treewidth. Using a transparent shallow decision-tree selector, we demonstrate that FIG features establish an interpretable structural view of solver behavior, complementing basic, statistical, and landmarking meta-features. Experiments on OpenML classification tasks show that topology-aware profiling exposes meaningful structural variation across datasets, although benchmark saturation prevents clear end-to-end routing gains over strong simple baselines. Our results validate FIG as a principled, interpretable diagnostic tool for algorithm selection in exact learning; its diagnostic relevance becomes apparent on harder instances where solver runtime separation is substantial.
Results support IAIML as a compact, interaction-aware framework appropriate for settings where bounded explanation size and controlled treatment of feature interactions are design requirements.
ProgNet, a graph learning framework for interpretable graph classification that treats explanatory structures as first-class, reusable components of the prediction mechanism, introduces a paradigm where reasoning is grounded in a shared vocabulary of reusable structural programs.
Minseok Jeon, Seunghyun Park, Jun-Gi Jang· Proceedings of the 32nd ACM...· 0 citations
The package implements PathBoost, a gradient boosting algorithm that automatically discovers predictive labeled paths within graphs during the learning process, which produces an additive prediction model over path-based features that explicitly reveals which substructures drive predictions.
Claudio Meggio, Johan Pensar, R. D. Bin· 0 citations
Evaluated across nine SMT logics, SMT-Select consistently outperforms existing selectors and SMT-COMP winning solvers and closes at least 30% of the performance gap between the competition winner and the virtual best solver (VBS).
Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen et al.· International Conference on...· 0 citations
EFE demonstrates that LLM-based evolution can improve both accuracy and interpretability when automatically tackling structured data, and is found to be particularly effective on classical decision trees.
Ege Onur Taga, Yilin Zhuang, M. E. Ildiz et al.· 0 citations
DeepPySR is introduced, which addresses SR's challenges with a dynamic variable-pruning schedule to remove irrelevant features during search, an exponential Pareto selection criterion that eliminates trade-offs between accuracy and complexity, and a multi-layer architecture for hierarchical symbolic composition.
Fuling Chen, K. Vinsen, Phillip E. Melton et al.· 0 citations