H. Zhang, Y. Cheng, and V. Conitzer, “Automated Mechanism Design for Classification with Partial Verification”, AAAI, vol. 35, no. 6, pp. 5789–5796, May 2021.