BibTeX record journals/corr/AlemiCISU16

download as .bib file

@article{DBLP:journals/corr/AlemiCISU16,
  author    = {Alexander A. Alemi and
               Fran{\c{c}}ois Chollet and
               Geoffrey Irving and
               Christian Szegedy and
               Josef Urban},
  title     = {DeepMath - Deep Sequence Models for Premise Selection},
  journal   = {CoRR},
  volume    = {abs/1606.04442},
  year      = {2016}
}
maintained by Schloss Dagstuhl LZI at University of Trier