BC-Prover: Backward Chaining Prover for Formal Theorem Proving.

Yuhang He, Jihai Zhang, Jianzhu Bao, Fangquan Lin, Cheng Yang, Bing Qin, Ruifeng Xu, Wotao Yin

Browse the full EMNLP paper archive.