获奖信息：

1. MaxSAT 2022 国际算法竞赛主赛道第一名;

2.2022 MaxSAT最大可满足性问题国际算法竞赛四个赛道中三个亚军、一个季军;

3.新冠知识图谱构建与问答评测第二名;

4.2020“安全AI挑战者计划”第2期ImageNet图像分类对抗攻击竞赛冠军;

5.IJCAI 2019国际AI对抗攻防挑战赛防御赛道第3名;

6.CVPR 2021安全AI挑战者计划第6期防御模型的白盒对抗攻击竞赛第4名;

7.2022第12届DIMACS算法挑战赛CVRP赛道第七名。