Huang, Szu-Yi

National Chiao Tung University

Proving Theorems by Using Evolutionary Search with Human Involvement

Szu-Yi Huang and Ying-ping Chen