形式化验证

用于保证AI推理可信性的方法论，通过数学形式化手段验证模型推理过程的正确性，是AI推理提效的两条关键路径之一