A paper by Chen Gong and Peilin Wu is accepted to the IEEE International Conference on Tools with Artificial Intelligence (ICTAI) 2023: