DeepMath - Deep Sequence Models for Premise Selection

Geoffrey Irving
Geoffrey Irving
Alexander A. Alemi
Alexander A. Alemi
Niklas Eén
Niklas Eén
François Chollet
François Chollet
Josef Urban
Josef Urban

NIPS, pp. 2235-2243, 2016.

被引用75|引用|浏览112
EI
其它链接dblp.uni-trier.de

代码

数据

您的评分 :
0

 

标签
评论