Automatically proving mathematical theorems with evolutionary algorithms and proof assistants.

Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-Ping Chen

Browse the full CEC paper archive.