实体 Visored

Visored

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_91340 · Jun 15 · 04:00

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

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