@misc{indiciaeeb1d657784c4,
  title = {SubgoalXL: Subgoal-based Expert Learning for Theorem Proving},
  author = {Xueliang Zhao and Lin Zheng and Haige Bo and Changran Hu and Urmish Thakker and Lingpeng Kong},
  year = {2024},
  url = {https://arxiv.org/abs/2408.11172},
  note = {Source identifier: 2408.11172}
}