该混合验证方法被嵌入Extract-Verify-Proof自动形式化流水线中，形成从自然语言提取、验证到证明生成的完整链路。