TY - RPRT TI - Efficient & Correct Predictive Equivalence for Decision Trees AU - Joao Marques-Silva AU - Alexey Ignatiev PY - 2025 UR - https://arxiv.org/abs/2509.17774 ID - 2509.17774 ER -