Nemotron
主题归档 • 1 条结果
2026-09-12
科技
研究人员训练Nemotron 3 Ultra模型生成奥数自然语言证明: 研究人员使用监督微调和强化学习,从 Nemotron 3 Ultra 训练了两个专家检查点,以生成奥林匹克数学的自然语言证明。由此得到的测试时计算流水线完全以自然语言运行,无需形式化证明器或外部工具。
Nemotron • arXiv
永久链接
主题归档 • 1 条结果
研究人员训练Nemotron 3 Ultra模型生成奥数自然语言证明: 研究人员使用监督微调和强化学习,从 Nemotron 3 Ultra 训练了两个专家检查点,以生成奥林匹克数学的自然语言证明。由此得到的测试时计算流水线完全以自然语言运行,无需形式化证明器或外部工具。
Nemotron • arXiv
永久链接