TY  - RPRT
TI  - Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving
AU  - Xueliang Zhao
AU  - Wenda Li
AU  - Lingpeng Kong
PY  - 2023
UR  - https://arxiv.org/abs/2305.16366
ID  - 2305.16366
ER  -