郑伟教授在CASP赛事中见证了从结构优化到结构预测的转变，特别是AlphaFold的崛起。他的团队在CASP16中表现优异，强调了AI与生物学的结合，推动了蛋白质结构预测的发展。

本文介绍了一种利用CASP目标导向ASP系统生成反事实解释的方法，揭示机器学习模型的决策依据，并为无法满足查询的答案集程序找到Craig插值。