@article{automaticallyprovingmathematicaltheorems,
  title = {Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants},
  author = {Li-An Yang and Jui-Pin Liu and Chao-Hong Chen and Ying-ping Chen},
  year = {2016},
  eprint = {1602.07455},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1602.07455v2},
}