SubgoalXL

形式化定理证明新突破:SubgoalXL框架让大模型在Isabelle中性能暴涨

AIxiv专栏是AI在线发布学术、技术内容的栏目。过去数年,AI在线AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术交流与传播。如果您有优秀的工作想要分享,欢迎投稿或者联系报道。投稿邮箱:[email protected][email protected]本文第一作者为香港大学博士研究生赵学亮,主要研究方向为形式化数学定理证明,检索增强生成以及多模态推理。该工作由香港大学与 AI 芯片公司 SambaNova Systems 共同完成。背景
  • 1