Picture for Owen Randall

Owen Randall

Expected Work Search: Combining Win Rate and Proof Size Estimation

Add code
May 09, 2024
Viaarxiv icon