PulseAugur
中
实时 09:58:35
实体 Decomposer-Formalizer-Prover

Decomposer-Formalizer-Prover

PulseAugur coverage of Decomposer-Formalizer-Prover — every cluster mentioning Decomposer-Formalizer-Prover 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_141122 ·

    新的多智能体框架优化数学证明自动形式化

    研究人员开发了ToMap，一个新颖的多智能体框架，旨在增强数学证明的自动形式化。该系统将过程构建为分解器-形式化器-证明器管道，将计算资源集中在优化分解器智能体上，该智能体被确定为关键瓶颈。通过迭代分解提示并使用形式化验证进度和语义评分标准，ToMap旨在提高将自然语言证明转换为形式化验证推理的质量和效率。