机译:在图像处理算法的背景下对NTP(神经理定理)的洞察 - 探索HO列表和深脑的简单建议和短期通信:高阶定理的机器学习(ML)证明
机译:自动定理证明多重半精算的新代数工具:一种提高时间逻辑证明者效率的结构
机译:一阶定理证明的机器学习:学习选择良好的启发式方法
机译:学习域名知识,以提高定理证明
机译:The Great Theorem Prover中改进了单位从句的使用。
机译:具有数百万个引理的学习辅助定理证明
机译:学习知识基础推论神经定理普罗瓦
机译:KI-LEaRN:知识丰富/数据贫乏领域的知识密集型学习方法