conftrace_

proof-level value function

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

dynamic-tree monte carlo (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