proof.generator

Source code and obtained results for "Proving Theorems by Using Evolutionary Search with Human Involvement"

---

Source code used in paper

• code/

Please refer to README.md in code/

code/README.md

---

Results inlucded in paper

• archive/

---

Use

Please cite

Huang, S.-Y. & Chen, Y.-p. (2017). Proving Theorems by Using Evolutionary Search with Human Involvement. In Proceedings of 2017 IEEE Congress on Evolutionary Computation (CEC 2017) (pp. 1495-1502). doi: 10.1109/CEC.2017.7969480.