@misc{indiciae67c5d98f9536,
  title = {Premise selection with neural networks and distributed representation of features},
  author = {Andrzej Stanisław Kucik and Konstantin Korovin},
  year = {2018},
  url = {https://arxiv.org/abs/1807.10268},
  note = {Source identifier: 1807.10268}
}