Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers.

Chaitanya Mangla Sean B. Holden Lawrence C. Paulson

Published in: IJCAR (2022)

Keyphrases

computer algebra
automated theorem provers
maximum likelihood
ranking algorithm
scheduling problem
web search
ranking functions
learning to rank
posterior probability
scheduling algorithm
resource constraints
scheduling strategy
resource allocation
document retrieval
link analysis
bayesian estimation