马吕科普

MARECOP机器学习连接证明器。将基于学习知识的概率制导添加到连接表演算中,并在精益COP定理证明器的顶部实现,将其链接到外部顾问系统。在解决大复杂理论中许多问题的典型数学设置中,从成功解决方案中学习然后用于指导马尔萨斯系统精神的定理证明尝试。在MARA ReA中,基于学习的公理选择是在未修改的定理证明者之外进行的,在MaLeCoP中,基于学习的选择是在证明者内部完成的,而知识的学习和它的应用之间的交互可以更精细。这带来了有趣的可能性,为进一步构建和训练自学习AI数学专家对大型数学库,其中一些进行了讨论。MPTP挑战大理论基准的初步实施评估


ZBMaX中的参考文献(19篇)1标准条款

显示结果1至19的19。
按年份排序(引文

  1. 尼科利,Mladen;马林科维奇,维斯纳;科瓦卡斯,佐尔塔恩;詹尼亚斯,PrdRoad:组合定理证明和证明器运行时几何预测(2019)
  2. 格泽尔,查拉图斯特拉;雅库布,简;舒尔茨,Stephan;城市,约瑟夫:校对:E(2018)大理论的观察表指南
  3. 彼得罗夫斯基,Bartosz;城市,约瑟夫:ATPoBoo:使用ATP反馈的二进制设置中的学习前提选择(2018)
  4. F·米迦勒,Kalasyyk,Cezary;城市,约瑟夫:Monte-Carlo Tablo证明搜索(2017)
  5. 高蒂尔,蒂博特,卡利斯克,Cezary;城市,约瑟夫:战术鹰爪:用HOL4战术学习理性(2017)
  6. Jauub v,J.;城市,约瑟夫:谜:高效的基于学习的推理引导机(2017)
  7. F·米迦勒,布朗,乍得:SATALAX内部指南(2016)
  8. Grzegorz的BeCeRek;Byi-Sk滑雪,CZE-AW;格拉鲍夫斯基,亚当;Kurni-OWICZ,阿图尔;Matuszewski,罗马;诺莫维奇,亚当;P.K,Karol;Mixar:最新的和超越的(2015)
  9. CalISZYK,CEZARE:高效低级连接表(2015)
  10. KaliZyk,Cezary;城市,约瑟夫:用百万引理证明学习辅助定理(2015)
  11. Cezary,城市,约瑟夫:HOL(Y)锤:HOLT灯的在线ATP服务(2015)
  12. Cezary的KaliZyk;城市,约瑟夫:FieleCopp:相当有效的机器学习连接证明器(2015)
  13. Cezary,城市,约瑟夫:学习辅助的自动推理与(\ MathsffLySpk)(2014)
  14. Cezary的Kalasyyk;城市,约瑟夫:HOL光下的引理挖掘(2013)
  15. Cezary,城市,约瑟夫:HOL光的自动推理服务(2013)
  16. 城市,Josef;Vysko.Il,Jiji:大形式数学中的定理证明:新兴的人工智能场(2013)
  17. 杰西,丹尼尔,城市,约瑟夫:一般数学中的自动和人类证明:初始比较(2012)
  18. K·H·丹尼尔,范拉霍芬,Twan;Tsivtsivadze,叶夫根尼;城市,Josef;希斯克斯,汤姆:大理论数学前提选择技术的概述和评价(2012)
  19. 城市,Josef;维斯科伊,吉耶斯;彼得:MaLeCoP。机器学习连接证明器(2011)