TY  - RPRT
TI  - Learning to Prove Theorems by Learning to Generate Theorems
AU  - Mingzhe Wang
AU  - Jia Deng
PY  - 2020
UR  - https://arxiv.org/abs/2002.07019
ID  - 2002.07019
ER  -