@inproceedings{fei-etal-2022-proofinfer,
    title = "{P}roof{I}nfer: Generating Proof via Iterative Hierarchical Inference",
    author = "Fei, Zichu  and
      Zhang, Qi  and
      Zhou, Xin  and
      Gui, Tao  and
      Huang, Xuanjing",
    editor = "Goldberg, Yoav  and
      Kozareva, Zornitsa  and
      Zhang, Yue",
    booktitle = "Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing",
    month = dec,
    year = "2022",
    address = "Abu Dhabi, United Arab Emirates",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/2022.emnlp-main.747/",
    doi = "10.18653/v1/2022.emnlp-main.747",
    pages = "10883--10892"
}