1. Beihang University, Beijing, China
2. Institute of Software, Chinese Academy of Sciences, Beijing, China
3. Central South University, Changsha, China / Xiangjiang Laboratory, Changsha, China
4. SeedMath Technology Limited, Beijing, China
5. Chongqing University, Chongqing, China