TY - RPRT TI - Neural Theorem Provers Do Not Learn Rules Without Exploration AU - Michiel de Jong AU - Fei Sha PY - 2019 UR - https://arxiv.org/abs/1906.06805 ID - 1906.06805 ER -