conftrace_

expected work

1 paper

Explore in graph

Also known as

EWS

Co-occurring keywords · papers mentioning both

proof size estimation (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