数学学院徐扬教授团队夺得2024年国际一阶逻辑自动定理证明器竞赛亚军
7月4日,在法国巴黎举办的第29届国际自动定理证明器竞赛(TheCADEATPSystemCompetition,CASC-J12)中,西南交通大学数学学院系统可信性自动验证国家地方联合工程实验室徐扬教授团队提交的一阶逻辑自动定理证明器获得ICU(IChallengeyoU)组亚军和FOF(FirstOrderFormula)组季军的好成绩。该团队是自2018年中国团队首次参赛以来,唯一持续参加这个竞赛并每年都取得良好成绩的团队。自动定理证明是人工智能领域既经典又前沿的研究...