TY  - RPRT
TI  - Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants
AU  - Li-An Yang
AU  - Jui-Pin Liu
AU  - Chao-Hong Chen
AU  - Ying-ping Chen
PY  - 2016
UR  - https://arxiv.org/abs/1602.07455
ID  - 1602.07455
ER  -