@inproceedings{he-etal-2024-bc,
    title = "{BC}-Prover: Backward Chaining Prover for Formal Theorem Proving",
    author = "He, Yuhang  and
      Zhang, Jihai  and
      Bao, Jianzhu  and
      Lin, Fangquan  and
      Yang, Cheng  and
      Qin, Bing  and
      Xu, Ruifeng  and
      Yin, Wotao",
    editor = "Al-Onaizan, Yaser  and
      Bansal, Mohit  and
      Chen, Yun-Nung",
    booktitle = "Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing",
    month = nov,
    year = "2024",
    address = "Miami, Florida, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2024.emnlp-main.180/",
    doi = "10.18653/v1/2024.emnlp-main.180",
    pages = "3059--3077"
}