@misc{indiciae598819b37cb1,
  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},
  url = {https://arxiv.org/abs/1602.07455},
  note = {Source identifier: 1602.07455}
}