HKUNLP/subgoal-theorem-prover

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

Apache-2.0

Readme
1Issue
17Stargazers
12Watchers

Watchers

GanjinZero
DAMO Academy
ikekonglp
The University of Hong Kong
Impavidity
University of Waterloo
LividWo
Hong Kong, China
qtli
SDU -> HKU
ranpox
C-137
taoyds
NLPer@XLANG Lab
Timothyxxx
The University of Hong Kong
todbeibrot
wellecks
Carnegie Mellon University
xqyww123
yangky11
Meta Fundamental AI Research (FAIR)

Contact site admin: Geeks.