conftrace_

proof size estimation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

expected work (1) proof number search (1) game solving (1) win rate estimation (1) monte carlo tree search (1)

Papers

Expected Work Search: Combining Win Rate and Proof Size Estimation IJCAI 2024