Review for NeurIPS paper: Decision trees as partitioning machines to characterize their generalization properties

The paper provides an analysis of the combinatorial properties of classes of decision trees. The reviewers found the results to be valuable, both from a theoretical perspective (novel approach in the proofs), and from a practical perspective (leading to an SRM approach to pruning).