HyperAI
HyperAI
主页面
首页
GPU
控制台
文档
动态
资讯
资源
论文
教程
数据集
百科
基准测试
SOTA
LLM 模型
GPU 排行榜
社区
活动
开源项目
实用工具
搜索
关于
服务条款
隐私政策
中文
HyperAI
HyperAI
Toggle Sidebar
搜索本站…
⌘
K
Command Palette
Search for a command to run...
Sign In
HyperAI
Papers
Kimina-Prover 预览：基于强化学习的大型形式化推理模型探索
5 个月前
LLM
推理
代码生成
Summary
Paper
Resources
moonshotai/kimina-prover-preview
349
Official
cmu-l3/llmlean
MoonshotAI/Kmina-Prover-Preview
HyperAI
HyperAI
主页面
首页
GPU
控制台
文档
动态
资讯
资源
论文
教程
数据集
百科
基准测试
SOTA
LLM 模型
GPU 排行榜
社区
活动
开源项目
实用工具
搜索
关于
服务条款
隐私政策
中文
HyperAI
HyperAI
Toggle Sidebar
搜索本站…
⌘
K
Command Palette
Search for a command to run...
Sign In
HyperAI
Papers
Kimina-Prover 预览：基于强化学习的大型形式化推理模型探索
5 个月前
LLM
推理
代码生成
Summary
Paper
Resources
moonshotai/kimina-prover-preview
349
Official
cmu-l3/llmlean
MoonshotAI/Kmina-Prover-Preview
198
198
Resources - Kimina-Prover 预览：基于强化学习的大型形式化推理模型探索 | Papers | HyperAI超神经