Chen, Ying-ping

National Chiao Tung University

Proving Theorems by Using Evolutionary Search with Human Involvement

Szu-Yi Huang and Ying-ping Chen