Discovery–Verification Asymmetry
발견-검증 비대칭
정답 후보를 발견하는 과정은 넓고 희소한 탐색 공간을 요구해 비용이 큰 반면, 제안된 후보를 제약별로 검증하는 과정은 비교적 분해 가능하고 계산적으로 덜 비용이 드는 현상을 가리킨다. 이 비대칭을 활용하면 검증 결과를 제어 신호로 삼아 다음 탐색 목표를 좁힐 수 있다. AREX는 이 원리를 통해 부분 검증된 상태를 재귀적으로 개선하는 설계를 취했다.
발견-검증 비대칭
정답 후보를 발견하는 과정은 넓고 희소한 탐색 공간을 요구해 비용이 큰 반면, 제안된 후보를 제약별로 검증하는 과정은 비교적 분해 가능하고 계산적으로 덜 비용이 드는 현상을 가리킨다. 이 비대칭을 활용하면 검증 결과를 제어 신호로 삼아 다음 탐색 목표를 좁힐 수 있다. AREX는 이 원리를 통해 부분 검증된 상태를 재귀적으로 개선하는 설계를 취했다.
