Sign in
Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving.
Xueliang Zhao
Wenda Li
Lingpeng Kong
Published in:
CoRR (2023)
Keyphrases
</>
theorem proving
learning algorithm
automated reasoning
supervised learning
search algorithm
active learning
theorem prover
parallel search
term rewriting
consequence finding