verifier-augmented-grounding

검증기 보강 접지는 LLM 출력의 논리적·물리적 타당성을 외부 소프트웨어 검증기로 확인하고, 검증 실패 시 모델이 반성적 루프에서 코드를 실행하거나 추론을 수정하도록 구성하는 접근법이다. 수학적 증명에는 형식적 증명 검증기(예: Lean 4)를 사용하고, 물리적 결과에는 도메인별 검증기를 적용하여 출력의 실행 가능성을 확인한다. 이 과정은 모델의 출력이 형식적·실험적 기준을 만족하도록 보장한다.