Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract)
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract)
复制标题
自动定理证明中前提选择的贝叶斯优化（学生摘要）
DOI：
10.1609/aaai.v34i10.7232
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
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
证明Disk Paxos的正确性
DOI：
--
发表时间：
2005
期刊：
Arch. Formal Proofs
影响因子：
--
作者：
Mauro Jaskelioff;Stephan Merz
通讯作者：
Stephan Merz