연구자는 여러 제약 조건을 충족하는 답을 찾아야 하는데, 답을 찾는 것은 비용이 많이 들지만 후보를 검증하는 것은 분해 가능한 제약 조건별 검사로 나눌 수 있습니다.
연구자는 단순히 더 오래 검색하는 것 외에 중간 결과를 검증하고 부분적으로 검증된 상태를 사용하여 후속 개선을 안내하는 방식으로 재귀적으로 답변을 개선해야 합니다.
AREX는 증거를 수집하고 잠정적인 답변을 구성하는 내부 연구 루프와 답변을 제약 조건별로 감사하고 해결되지 않은 주장을 식별하고 대상 후속 연구를 시작하는 외부 자기 개선 루프를 번갈아 가며 실행합니다.
AREX는 검증된 증거와 해결되지 않은 제약을 보존하면서 성장하는 상호 작용 기록을 간결한 개선 상태로 압축하는 자율적인 컨텍스트 업데이트 도구를 학습하여 장기적인 RSI를 유지합니다.