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

该文综述PDDL+及相关规划语言：提出PDDL+混合离散-连续领域语义，扩展HDDL以支持时间与数值约束，探索CASP约束应答集规划，并介绍Teriyaki、LLM+P等大语言模型与PDDL结合的神经符号规划框架，以及PDSketch机器人规划方法。

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