형식적 보장
수학적 또는 통계적 근거를 바탕으로 시스템의 특정 성능이나 동작이 반드시 유지됨을 확약하는 기법이다. 이 도구에서는 대리 모델이 LLM의 판단과 일치하는 비율을 보장하는 안전 장치로 활용된다.