@misc{minervini2018neural,
  title = {Neural Theorem Proving on Natural Language},
  author = {Pasquale Minervini and Matko Bo{\v{s}}njak and Andres Campero and Tim Rockt{\"a}schel and Edward Grefenstette and Sebastian Riedel},
  howpublished = {Poster presented at the International Conference on Probabilistic Programming (PROBPROG)},
  year = {2018},
  url = {https://probprog.cc/2018/posters/}
}