Subgoal-based Demonstration Learning for Formal Theorem Proving.

Xueliang Zhao, Wenda Li, Lingpeng Kong

Browse the full ICML paper archive.