Zhang, H.; Cheng, Y.; Conitzer, V. Automated Mechanism Design for Classification With Partial Verification. AAAI 2021, 35, 5789-5796.