REFACTOR: Learning to Extract Theorems from Proofs.

Jin Peng Zhou, Yuhuai Wu, Qiyang Li, Roger Baker Grosse

Browse the full ICLR paper archive.