Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic.

Hongbiao Gao, Jingde Cheng

Browse the full ACIIDS paper archive.