conftrace_

win rate estimation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

game solving (1) proof number search (1) expected work (1) proof size estimation (1) llm evaluator (1) calibration method (1) monte carlo tree search (1) model calibration (1) bayesian inference (1)

Papers

Bayesian Calibration of Win Rate Estimation with LLM Evaluators EMNLP 2024 Expected Work Search: Combining Win Rate and Proof Size Estimation IJCAI 2024