深度数学

深度-深度选择模型的前提选择。我们研究了自动定理证明中的前提选择的神经网络模型的有效性,这是数学形式化的主要瓶颈之一。我们提出了一个两阶段的方法,这一任务产生良好的结果为前提选择任务的MIZAR语料库,同时避免手工工程的特点,现有的最先进的模型。据我们所知,这是第一次深度学习被广泛应用于定理证明。