BC-Prover: Backward Chaining Prover for Formal Theorem Proving Yuhang He author Jihai Zhang author Jianzhu Bao author Fangquan Lin author Cheng Yang author Bing Qin author Ruifeng Xu author Wotao Yin author 2024-11 text Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing Yaser Al-Onaizan editor Mohit Bansal editor Yun-Nung Chen editor Association for Computational Linguistics Miami, Florida, USA conference publication he-etal-2024-bc 10.18653/v1/2024.emnlp-main.180 https://aclanthology.org/2024.emnlp-main.180/ 2024-11 3059 3077