PulseAugur
实时 19:28:20
实体 MA-ProofBench

MA-ProofBench

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

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

    新的大语言模型框架和基准推动形式数学推理发展

    研究人员正在开发新的方法和基准来提高大语言模型(LLMs)的形式数学推理能力。一种名为Diffusion-Proof的方法利用扩散大语言模型(dLLMs)进行定理证明,在ProofNet-Test和MiniF2F-Test等基准测试中表现优于自回归模型,甚至解决了领先模型无法解决的国际数学奥林匹克问题。另一项开发Visored提供了一个旨在通过模仿自然语言和自动化常规步骤来处理大语言模型生成数学的证明器。此外,Mask-Proof引入…