%0 Conference Proceedings
%T DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
%A Wang, Haiming
%A Yuan, Ye
%A Liu, Zhengying
%A Shen, Jianhao
%A Yin, Yichun
%A Xiong, Jing
%A Xie, Enze
%A Shi, Han
%A Li, Yujun
%A Li, Lin
%A Yin, Jian
%A Li, Zhenguo
%A Liang, Xiaodan
%Y Rogers, Anna
%Y Boyd-Graber, Jordan
%Y Okazaki, Naoaki
%S Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)
%D 2023
%8 July
%I Association for Computational Linguistics
%C Toronto, Canada
%F wang-etal-2023-dt
%R 10.18653/v1/2023.acl-long.706
%U https://aclanthology.org/2023.acl-long.706/
%U https://doi.org/10.18653/v1/2023.acl-long.706
%P 12632-12646