实体 Abel

Abel

PulseAugur coverage of Abel — every cluster mentioning Abel 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 条

TOOL · CL_289365 · Oct 9 · 04:00

NanoProof: Lean 4 中开放且高效的自动定理证明

研究人员推出了一种用于 Lean 4 编程语言的新型定理证明器 NanoProof。该系统是第一个可因子化、执行引导的定理证明器，并拥有完全发布的训练数据、提取工具和训练流程，确保了端到端的复现性。NanoProof 在 MiniF2F-Test 基准测试中表现强劲，pass@16 达到 50.8%，同时比 HyperTree Proof Search 和 ABEL 等可比系统使用的计算量显著减少。该项目突显了因子化、执行引导证明器能…