골드 스탠다드 없는 추론: 자동 형식화(Autoformalization)를 위한 프록시 판사(Proxy-Judge) 이론

요약

자동 형식화(Autoformalization) 작업에서 정답 참조 없이도 추론의 정확성을 검증할 수 있는 '프록시 판사(Proxy-Judge)' 프레임워크를 제안합니다. 축별 속성 검사를 통해 오류를 식별하고 이를 수정하는 성찰적 정교화 루프를 통해 모델의 성능을 높입니다.

핵심 포인트

• 정답 참조 없이 축별 속성 검사로 추론을 검증하는 프레임워크 제안
• 전역, 모듈별, 교차 도메인 속성을 다루는 세 가지 구조적 범위 활용
• 위반된 좌표를 수정 대상으로 안내하는 성찰적 정교화 루프 구현
• 다양한 벤치마크 실험을 통해 기존 ICL 방식보다 높은 통과율 입증