BriefGPT.xyz
Oct, 2014
Coq证明引导的机器学习:第一次实验
Machine Learning of Coq Proof Guidance: First Experiments
HTML
PDF
Cezary Kaliszyk, Lionel Mamane, Josef Urban
TL;DR
本文介绍了如何使用机器学习从Coq系统中的证明自动学习证明依赖,并给出了该方法在Coq证明上的测试结果及对比,证明了其可行性。
Abstract
We report the results of the first experiments with learning
proof dependencies
from the formalizations done with the
coq system
. We explain the process of obtaining the dependencies from the Coq proofs, the char
→