Yutaka Nagashima. Towards evolutionary theorem proving for isabelle/HOL. In Manuel López-Ibáñez 0001, Anne Auger, Thomas Stützle, editors, Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2019, Prague, Czech Republic, July 13-17, 2019. pages 419-420, ACM, 2019. [doi]
Abstract is missing.