• MPTP 0.2

  • 42篇参考文献[SW02589]
  • 完全自治模式,其中房产挑选通过机器学习系统训练…
  • 霍利默

  • 18篇参考文献[SW11553]
  • 自动推理系统与多个推理系统结合前提 选择方法对所有的工程论证进行培训。
  • 深度数学

  • 6篇参考文献[SW27 551 ]
  • 深度-深度序列模型前提 选择. 我们研究了神经网络模型的有效性。前提 选择在自动定理证明中,形式化的主要瓶颈之一…这样就产生了良好的效果。前提 选择在MIZAR语料库上的任务同时避免…
  • 战术脚趾

  • 3篇参考文献[ SW28 627 ]
  • 不同的战术层次证明路径,指导他们选择通过大量学习…水平。结合战术预测前提 选择TraceToT能够重新证明…
  • ATPoBooP

  • 1篇参考文献[SW28 626]
  • ATPboost:学习前提 选择在ATP反馈的二进制设置中。ATPBOOST是一个系统…机器学习前提 选择从证明。不像许多方法使用多标签…这估计了两两相关性(定理,前提“对”。ATPBOOST用于这个快速…
  • 纳帕萨克

  • 4篇参考文献[ SW28051 ]
  • 它们的基础选择随机最小数据集来实例化假设。然而,他们的权利…另一个是离群值。基于此前提NAPSAC(N邻点样本一致性)算法…
  • 辅酶Q

  • 1689篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 皂土

  • 246篇参考文献[SW0891]
  • 我们很高兴介绍Sto粪便,一个免费的…
  • MPTP

  • 22篇参考文献[SW02489]
  • 我们描述了一些新的可能性…
  • 塞杜米

  • 1058篇参考文献[SW042]
  • SEDIMI是一个用于求解优化的MATLAB工具箱。
  • UCI ML

  • 2757篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…
  • Z3

  • 439篇参考文献[SW0488]
  • Z3是一个高性能的定理证明器。