@misc{indiciaed804a85e6218,
  title = {Towards Neural Theorem Proving at Scale},
  author = {Pasquale Minervini and Matko Bosnjak and Tim Rocktäschel and Sebastian Riedel},
  year = {2018},
  url = {https://arxiv.org/abs/1807.08204},
  note = {Source identifier: 1807.08204}
}