conftrace_

dynamic-tree monte carlo

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

proof-level value function (1) state confidence (1) dynamic tree (1) proof verification (1) large language model (1) automated theorem proving (1) proof search (1) language model (1) tree search (1) monte carlo tree search (1)

Papers

DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function ACL 2023