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