HKUNLP / subgoal-theorem-proverLinks

Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
19Updated 2 years ago

Alternatives and similar repositories for subgoal-theorem-prover

Users that are interested in subgoal-theorem-prover are comparing it to the libraries listed below

Sorting: