Cite
Notes
Only stored in your browser.
Attribution
SubgoalXL: Subgoal-based Expert Learning for Theorem Proving
arXiv 2024
from 1 papers
Changran Hu
Lin Zheng
Lingpeng Kong
Urmish Thakker
Xueliang Zhao