@ARTICLE{2018arXiv180710268S,
   author = {Kucik, A. S. and Korovin, K.},
    title = "Premise selection with neural networks and distributed representation of features",
  journal = {ArXiv e-prints},
archivePrefix = "arXiv",
   eprint = {1807.10268},
 primaryClass = "cs.AI",
 keywords = {Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, 03B35, 68T05, 68T15},
     year = 2018,
    month = jul,
    url ={https://arxiv.org/abs/1807.10268},
   adsurl = {http://adsabs.harvard.edu/abs/2018arXiv180710268S},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}