Login / Signup

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 Liang
Published in: ACL (1) (2023)
Keyphrases