外部验证器

外部验证器指独立于生成模型之外的工具或模型，如编译器、单元测试、数学求解器或另一个专门评判模型，这类信号质量较高但覆盖范围有限，仅适用于有明确正确性标准的领域。