HKUNLP/subgoal-theorem-prover
Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
Apache-2.0
Stargazers
- alreadydoneBethesda, MD / Shenzhen
- chang-github-00CS, HKU
- chuanyang-ZhengThe Chinese University of Hong Komg
- fly51flyPRIS
- GanjinZeroDAMO Academy
- ikekonglpThe University of Hong Kong
- jc5201
- JeffCarpenterCanada
- jiacheng-yeThe University of Hong Kong
- lfy79001Institute of Automation, Chinese Academy of Sciences
- LZhengismeHong Kong
- sustcsonglinMIT
- TimothyxxxThe University of Hong Kong
- utensil
- xqyww123
- yangky11Meta, Fundamental AI Research (FAIR)
- zhao-ht