Szu-Yi Huang, Ying-Ping Chen. Proving theorems by using evolutionary search with human involvement. In 2017 IEEE Congress on Evolutionary Computation, CEC 2017, Donostia, San Sebastián, Spain, June 5-8, 2017. pages 1495-1502, IEEE, 2017. [doi]
Abstract is missing.