HyperAI
HyperAI
主区域
首页
GPU
控制台
文档
价格
Pulse
报道
资源
论文
教程
数据集
百科
基准测试
SOTA
大语言模型（LLM）
GPU 排行榜
社区
活动
开源
实用工具
搜索
关于
服务条款
隐私政策
中文
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
登录
HyperAI
论文
草图、初稿与证明：利用非正式证明引导形式化定理证明器
6 个月前
推理
自然语言处理
合成
方法/架构
通用
自然语言处理
任务/问题
摘要
论文
基准测试
资源
rah4927/lean-dojo-mew
albertqjiang/draft_sketch_prove
官方
facebookresearch/minif2f
官方
HyperAI
HyperAI
主区域
首页
GPU
控制台
文档
价格
Pulse
报道
资源
论文
教程
数据集
百科
基准测试
SOTA
大语言模型（LLM）
GPU 排行榜
社区
活动
开源
实用工具
搜索
关于
服务条款
隐私政策
中文
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
登录
HyperAI
论文
草图、初稿与证明：利用非正式证明引导形式化定理证明器
6 个月前
推理
自然语言处理
合成
方法/架构
通用
自然语言处理
任务/问题
摘要
论文
基准测试
资源
rah4927/lean-dojo-mew
albertqjiang/draft_sketch_prove
官方
facebookresearch/minif2f
官方
资源 - 草图、初稿与证明：利用非正式证明引导形式化定理证明器 | 论文 | HyperAI超神经
8
8
71
71
97
97