形式化定理证明新突破：SubgoalXL框架让大模型在Isabelle中性能暴涨
形式化定理证明新突破：SubgoalXL框架让大模型在Isabelle中性能暴涨在这种背景下，研究团队提出了一个全新的框架：SubgoalXL，结合了子目标（subgoal）证明策略与专家学习（expert learning）方法，在 Isabelle 中实现了形式化定理证明的性能突破。
来自主题: AI技术研报
6309 点击 2024-09-27 20:57
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
