ML Anthology

Randall, Owen

1 publications

IJCAI 2024 Expected Work Search: Combining Win Rate and Proof Size Estimation Owen Randall, Martin Müller, Ting-Han Wei, Ryan Hayward