Proving theorems by using evolutionary search with human involvement. - Szu-Yi Huang; Ying-Ping Chen (CEC, 2017)