实体 openGauss

openGauss

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

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

RESEARCH · CL_53591 · May 26 · 12:49

新的 Lean 4 定理证明器取得强劲的基准测试结果

研究人员开发了 MerLean-Prover，一个用于 Lean 4 的端到端定理证明器，可生成可由内核检查的证明。该系统利用一个包含三种代理类型（规划、检查和 Lean）的递归循环，并在 FormalQualBench 和 Putnam2025 等基准测试中展现出强劲的性能。值得注意的是，MerLean-Prover 在 FormalQualBench 上取得了 10/23 的成绩，优于现有的开源基线，并以更少的计算时间成功解决了 …