Verifier Feedback

A mechanism that feeds the output of a verifier, such as a model checker, back to a language model to adjust its judgments. It can improve accuracy but may also introduce erroneous judgments.