연구진은 정확한 참고 자료 없이도 자동 형식화(AF)를 가능하게 하는 프록시-판정 프레임워크를 제시했어요. 이 프레임워크는 구조적 범위에 따른 속성 검사 벡터를 활용하여, 판단 오류를 수정하는 순환 루프를 통해 성능을 개선해요. 실험 결과, 프록시 판단은 기존 방식보다 성능을 향상시켰으며, 정확한 참고 자료가 없을 때 수렴 가능성을 보여줬어요.