DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function.
Haiming WangYe YuanZhengying LiuJianhao ShenYichun YinJing XiongEnze XieHan ShiYujun LiLin LiJian YinZhenguo LiXiaodan LiangPublished in: ACL (1) (2023)