LLM形式化 - AI话题 - AI快开门

2024-02-04

AI自动化定理证明

谷歌、UMass、UIUC联合利用LLM自动生成完整数学证明，获软件工程顶会杰出论文；上下文越全，证明成功率越高，为大模型在形式化验证与数学研究打开新场景。

定理证明 LLM形式化自动证明软件工程数学研究