conftrace_

state confidence

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

dynamic-tree monte carlo (1) proof-level value function (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