On the Correctness of the Generalized Isotonic Recursive Partitioning Algorithm. - Joong-Ho Won; Jihan Jung (CoRR, 2024)