Login / Signup
Expected Work Search: Combining Win Rate and Proof Size Estimation.
Owen Randall
Martin Müller
Ting-Han Wei
Ryan Hayward
Published in:
CoRR (2024)
Keyphrases
</>
search algorithm
search space
search strategy
search efficiency
search methods
search strategies
solution space
theorem prover
estimation error
robust estimation
parameter estimation
user queries
keyword search
search mechanism