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