研究

面向企业软件智能体的不变量验证

围绕业务约束验证任务是否完成，并对验证器本身开展对抗评估的设计框架。