实体 PriorProof

PriorProof

PulseAugur coverage of PriorProof — every cluster mentioning PriorProof 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_154074 · Jul 21 · 04:00

新方法PriorProof衡量形式数学证明中的新颖性

研究人员开发了PriorProof，一种衡量形式数学证明中使用的技术新颖性的新方法。该系统分析了Lean定理证明器中证明项的依赖足迹，并根据Mathlib库的历史快照对其意外性进行评分。PriorProof无需人工标记的本体或明确的技术分类即可运行，而是从证明派生的对比对中学习语句检索。