@inproceedings{wang-etal-2023-dt,
    title = "{DT}-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function",
    author = "Wang, Haiming  and
      Yuan, Ye  and
      Liu, Zhengying  and
      Shen, Jianhao  and
      Yin, Yichun  and
      Xiong, Jing  and
      Xie, Enze  and
      Shi, Han  and
      Li, Yujun  and
      Li, Lin  and
      Yin, Jian  and
      Li, Zhenguo  and
      Liang, Xiaodan",
    editor = "Rogers, Anna  and
      Boyd-Graber, Jordan  and
      Okazaki, Naoaki",
    booktitle = "Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)",
    month = jul,
    year = "2023",
    address = "Toronto, Canada",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2023.acl-long.706/",
    doi = "10.18653/v1/2023.acl-long.706",
    pages = "12632--12646"
}