Tag: theorem proving
All the talks with the tag "theorem proving".
DT-Solver - Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
Rahul VishwakarmaPublished: at 02:00 PMThis 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.