神经定理证明：生成和构建形式验证的证明

本研究解决了在软件代码形式验证中普遍存在的定理证明不足的问题。我们提出了一个框架，能够生成形式语言的完整证明，并结合自然语言和LLM，实现更高效的验证。研究结果表明该框架在验证AWS S3存储桶访问策略代码的准确性方面表现出色，具有潜在的广泛应用价值。