semantic triangulation

원문 문제를 의미론적으로 변형한 문제와 원래 샘플을 교차검증하는 방식이다. 변환 τ와 두 프로그램 사이의 관계 φ를 도입해 의미적 동치류를 대응시키는 것이 핵심이다. 이런 접근은 상관된 오류를 분리해 올바른 해답을 식별할 확률을 높인다.