Concept

Verification in Step-Level Search

The verification component in a step-level search utilizes a verifier, denoted as V()V(\cdot), to assess the quality of newly generated candidate steps. This evaluation is conducted within the context of the original problem x\mathbf{x} and the preceding partial reasoning path ai=(a1,...,ai)\mathbf{a}_{\le i} = (a_1, ..., a_i). To guide the search, step-level verifiers can produce various types of output, such as numerical scores, categorical labels, or detailed textual feedback.

0

1

Updated 2026-05-06

Contributors are:

Who are from:

Tags

Ch.5 Inference - Foundations of Large Language Models

Foundations of Large Language Models

Foundations of Large Language Models Course

Computing Sciences