Learning to Prove Theorems by Learning to Generate Theorems
Learning to Prove Theorems by Learning to Generate Theorems
复制标题
通过学习生成定理来学习证明定理
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Deng, Jia
中科院分区：
文献类型：
--
作者：
Wang, Mingzhe;Deng, Jia
登录
查看更多内容
寻找更长的证明
DOI：
10.1007/978-3-030-86059-2_10
发表时间：
2019
期刊：
ArXiv
影响因子：
--
作者：
Zsolt Zombori;Adrián Csiszárik;H. Michalewski;C. Kaliszyk;J. Urban
通讯作者：
J. Urban
形式证明草图
DOI：
--
发表时间：
2003
期刊：
Types for Proofs and Programs
影响因子：
--
作者：
F. Wiedijk
通讯作者：
F. Wiedijk
通过分层强化学习的自我对弈学习目标嵌入
DOI：
--
发表时间：
2018
期刊：
arXiv.org
影响因子：
--
作者：
Sainbayar Sukhbaatar;Emily L. Denton;Arthur Szlam;R. Fergus
通讯作者：
R. Fergus
通过与证明助手交互学习证明定理
DOI：
--
发表时间：
2019
期刊：
International Conference on Machine Learning
影响因子：
--
作者：
Yang, Kaiyu;Deng, Jia
通讯作者：
Deng, Jia
第一个神经推测数据集和实验
DOI：
--
发表时间：
2020
期刊：
International Conference on Intelligent Computer Mathematics
影响因子：
--
作者：
J. Urban;Jan Jakubuv
通讯作者：
Jan Jakubuv