PulseAugur
中
实时 08:21:04
实体 Merris's conjecture

Merris's conjecture

PulseAugur coverage of Merris's conjecture — every cluster mentioning Merris's conjecture 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 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_303263 ·

    IneqAgent框架将LLM推理与符号计算相结合,用于不等式证明

    研究人员开发了IneqAgent,一个将大型语言模型(LLM)推理与符号计算相结合的新颖框架,用于解决Lean4定理证明器中的复杂不等式证明任务。该代理系统采用蒙特卡洛树搜索来协调引理构建和目标重构,并利用专门的后端进行精确计算。在评估中,IneqAgent表现出很高的成功率,在四个基准测试中解决了94.09%的问题,并在成功率和推理成本方面优于其他方法。该框架还成功证明了新的数学结果,包括Dittert猜想和Holens--Djok…