实体
Matharena
Matharena
PulseAugur coverage of Matharena — every cluster mentioning Matharena across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新框架ECP形式化求解数学答案构造问题
研究人员开发了一个名为Enumerate-Conjecture-Prove (ECP) 的新神经符号框架，旨在解决形式数学中的答案构造问题。该框架结合了用于提出候选答案的通用大语言模型和用于生成机器检查证明的专用证明器LLM。ECP在基准数据集上取得了成功，形式化地解决了部分具有可接受答案和证明的答案构造问题，其表现优于现有的LLM基线。
-
MathArena 平台更新，以追踪 LLM 在复杂推理方面的进展
研究人员开发了 MathArena，这是一个用于评估大型语言模型数学推理能力的扩展评估平台。该平台超越了静态基准测试，能够持续更新和拓宽其范围，纳入证明生成和研究级问题等任务。增强后的 MathArena 现在包括 Lean 中的形式证明生成以及 arXiv 研究级问题，旨在为 LLM 在数学方面的进展提供更全面、更具挑战性的评估。