TY  - RPRT
TI  - Expected Work Search: Combining Win Rate and Proof Size Estimation
AU  - Owen Randall
AU  - Martin Müller
AU  - Ting Han Wei
AU  - Ryan Hayward
PY  - 2024
UR  - https://arxiv.org/abs/2405.05594
ID  - 2405.05594
ER  -