Randall et al. "Expected Work Search: Combining Win Rate and Proof Size Estimation." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[Randall et al. "Expected Work Search: Combining Win Rate and Proof Size Estimation." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/randall2024ijcai-expected/)
BibTeX
@inproceedings{randall2024ijcai-expected,
title = {{Expected Work Search: Combining Win Rate and Proof Size Estimation}},
author = {Randall, Owen and Müller, Martin and Wei, Ting-Han and Hayward, Ryan},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {7003-7011},
url = {https://mlanthology.org/ijcai/2024/randall2024ijcai-expected/}
}