TY  - RPRT
TI  - REFACTOR: Learning to Extract Theorems from Proofs
AU  - Jin Peng Zhou
AU  - Yuhuai Wu
AU  - Qiyang Li
AU  - Roger Grosse
PY  - 2024
UR  - https://arxiv.org/abs/2402.17032
ID  - 2402.17032
ER  -