DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
Wang, Haiming Yuan, Ye Liu, Zhengying Shen, Jianhao Yin, Yichun Xiong, Jing Xie, Enze Shi, Han Li, Yujun Li, Lin Yin, Jian Li, Zhenguo Liang, Xiaodan