AI资讯新闻榜单内容搜索-SubgoalXL

关键词: AI,SubgoalXL,大模型,模型训练

在这种背景下，研究团队提出了一个全新的框架：SubgoalXL，结合了子目标（subgoal）证明策略与专家学习（expert learning）方法，在 Isabelle 中实现了形式化定理证明的性能突破。