Tag: dynamic-tree sampling

All the talks with the tag "dynamic-tree sampling".

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

  Rahul Vishwakarma
  Published:Aug 14, 2023 at  at 02:00 PM

  This talk discusses DT-Solver, a novel approach to automated theorem proving that uses dynamic-tree Monte-Carlo search and a proof-level value function for improved state exploration.