REFACTOR: Learning to Extract Theorems from Proofs

Jin Peng Zhou, Yuhuai Wu, Qiyang Li +1

Human mathematicians are often good at recognizing modular and reusable theorems that make complex mathematical results within reach. In this paper, we propose a novel method calle…