TY  - RPRT
TI  - Automatic Derivation Of Formulas Using Reforcement Learning
AU  - MinZhong Luo
AU  - Li Liu
PY  - 2018
UR  - https://arxiv.org/abs/1808.04946
ID  - 1808.04946
ER  -