Proof searching in HOL4 with genetic algorithm.

Muhammad Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun

Browse the full SAC paper archive.