SubgoalXL
形式化定理证明新突破:SubgoalXL框架让大模型在Isabelle中性能暴涨
AIxiv专栏是AI在线发布学术、技术内容的栏目。过去数年,AI在线AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术交流与传播。如果您有优秀的工作想要分享,欢迎投稿或者联系报道。投稿邮箱:[email protected];[email protected]本文第一作者为香港大学博士研究生赵学亮,主要研究方向为形式化数学定理证明,检索增强生成以及多模态推理。该工作由香港大学与 AI 芯片公司 SambaNova Systems 共同完成。背景
9/27/2024 12:51:00 PM
机器之心
- 1
资讯热榜
标签云
人工智能
OpenAI
AI
AIGC
ChatGPT
AI绘画
DeepSeek
模型
机器人
数据
谷歌
大模型
Midjourney
智能
用户
开源
学习
微软
GPT
Meta
图像
AI创作
技术
Gemini
论文
马斯克
Stable Diffusion
算法
芯片
代码
生成式
蛋白质
英伟达
腾讯
神经网络
研究
Anthropic
计算
开发者
3D
Sora
机器学习
AI设计
AI for Science
GPU
AI视频
苹果
场景
华为
人形机器人
百度
预测
搜索
伟达
Claude
深度学习
Transformer
xAI
大语言模型
字节跳动
模态
训练
具身智能
文本
驾驶
神器推荐
LLaMA
Copilot
视觉
算力
应用
安全
智能体
视频生成
干货合集
生成
亚马逊
大型语言模型
API
科技