1 paper · 1 filter
Bo Xue, Ji Cheng, Shen-Huan Lyu +2
Verifying LLM-generated answers under a shared computational budget requires jointly deciding which candidates to inspect and which verification attributes to evaluate. We formulat…