PulseAugur
实时 15:21:45
实体 OptProver

OptProver

PulseAugur coverage of OptProver — every cluster mentioning OptProver across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_06783 ·

    OptProver模型通过持续训练将奥赛数学与优化任务联系起来

    研究人员开发了OptProver,一个旨在解决本科优化问题中形式化定理证明的新型AI模型。该模型建立在已在奥赛级别数学上训练过的证明器基础上,并将其适应于优化问题的独特形式化方法。OptProver利用大规模数据整理和专门的偏好学习目标来提高其生成证明的性能和效率。