TY  - RPRT
TI  - SubgoalXL: Subgoal-based Expert Learning for Theorem Proving
AU  - Xueliang Zhao
AU  - Lin Zheng
AU  - Haige Bo
AU  - Changran Hu
AU  - Urmish Thakker
AU  - Lingpeng Kong
PY  - 2024
UR  - https://arxiv.org/abs/2408.11172
ID  - 2408.11172
ER  -