HKUNLP / subgoal-theorem-prover Public

Notifications You must be signed in to change notification settings
Fork 0
Star 17

Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"

Apache-2.0 license

17 stars 0 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
LICENSE		LICENSE
README.md		README.md

Repository files navigation

subgoal-theorem-prover

Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"