@misc{indiciaefb2dccf437a5,
  title = {Neural Theorem Provers Do Not Learn Rules Without Exploration},
  author = {Michiel de Jong and Fei Sha},
  year = {2019},
  url = {https://arxiv.org/abs/1906.06805},
  note = {Source identifier: 1906.06805}
}