Skip to content
conftrace_

proof cost network

1 paper

Explore in graph

Also known as

PCN

Co-occurring keywords · papers mentioning both

proof number search (1) game solving (1) shortest path (1) monte carlo tree search (1) reinforcement learning (1)

Papers

AlphaZero-based Proof Cost Network to Aid Game Solving ICLR 2022