BriefGPT.xyz
Jun, 2018
GamePad: 定理证明学习环境
GamePad: A Learning Environment for Theorem Proving
HTML
PDF
Daniel Huang, Prafulla Dhariwal, Dawn Song, Ilya Sutskever
TL;DR
通过GamePad系统，探索机器学习方法在Coq证明助手中的应用，通过基线模型训练解决“定位评估”和“策略预测”任务，从而探索定理证明与人类监督交替的可能性。
Abstract
In this paper, we introduce a system called GamePad that can be used to explore the application of
machine learning
methods to
theorem proving
in the
→