标签：形式化验证
7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！
随着大模型在形式化证明写作中的需求日益增长，形式化推理与验证（formal reasoning and verification）逐渐成为研究的焦点。然而，现有的形式化推理大模型大...
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
近期，AI在数学领域的应用取得了显著进展，特别是在形式化数学推理方面。著名数学家陶哲轩认为，未来数学家可以通过AI助手来解释证明，AI将证明形式化为Lean...
