1 code implementation • ICLR 2022 • Ti-Rong Wu, Chung-Chin Shih, Ting Han Wei, Meng-Yu Tsai, Wei-Yuan Hsu, I-Chen Wu
We train a Proof Cost Network (PCN), where proof cost is a heuristic that estimates the amount of work required to solve problems.
Board Games