TY  - RPRT
TI  - Learning to Reason in Large Theories without Imitation
AU  - Kshitij Bansal
AU  - Christian Szegedy
AU  - Markus N. Rabe
AU  - Sarah M. Loos
AU  - Viktor Toman
PY  - 2020
UR  - https://arxiv.org/abs/1905.10501
ID  - 1905.10501
ER  -