@inproceedings{ijcai2024p774, 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 = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI-24}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Kate Larson}, pages = {7003--7011}, year = {2024}, month = {8}, note = {Main Track}, doi = {10.24963/ijcai.2024/774}, url = {https://doi.org/10.24963/ijcai.2024/774}, }