B. Flanagan, Z. Tian, T. Yamauchi, Y. Dai, and H. Ogata, “A human-in-the-loop system for labeling knowledge components in Japanese mathematics exercises”, RPTEL, vol. 19, p. 028, Jan. 2024.