@misc{indiciae5734eaa51460,
  title = {REFACTOR: Learning to Extract Theorems from Proofs},
  author = {Jin Peng Zhou and Yuhuai Wu and Qiyang Li and Roger Grosse},
  year = {2024},
  url = {https://arxiv.org/abs/2402.17032},
  note = {Source identifier: 2402.17032}
}