Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving
复制标题
自动定理证明中启发式配置的贝叶斯优化
DOI：
10.29007/q91g
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Slowik A
中科院分区：
文献类型：
--
作者：
Slowik A
形式化和编译背景知识及其在知识表示和问题解答中的应用：来自 AAAI 春季研讨会的论文
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
Chitta Baral
通讯作者：
Chitta Baral
大锤：审判日
DOI：
10.1007/978-3-642-14203-1_9
发表时间：
2010
期刊：
Proceedings of the 2015 Conference on Certified Programs and Proofs
影响因子：
--
作者：
S. Böhme;T. Nipkow
通讯作者：
T. Nipkow
MaSh：Sledgehammer 的机器学习
DOI：
10.1007/978-3-642-39634-2_6
发表时间：
2013
期刊：
影响因子：
--
作者：
Daniel Kühlwein;Jasmin Christian Blanchette;Cezary Kaliszyk;Josef Urban
通讯作者：
Josef Urban