자동 형식화된 명제 평가를 위한 구조 인식 동치성(Structure-Aware Equivalence)

요약

본 논문은 자동 형식화된 수학적 명제 평가의 한계를 극복하기 위해 구조 인식 동치성(Structure-Aware Equivalence, SAE)을 제안합니다. SAE는 구문론적 및 전체 명제 논리적 동치성의 장점을 결합하여, 수학적 구조를 보존하면서도 정교한 형식적 재구성을 가능하게 합니다. 이를 구현한 ACE 평가기는 높은 정확성과 보수적인 판단 능력을 보여줍니다.

핵심 포인트

• SAE는 구문론과 전체 명제 논리 사이의 균형을 맞춘 새로운 동치성 개념입니다.
• ACE를 통해 수학적 명제의 형식화된 정확성을 정밀하게 평가할 수 있습니다.
• 기존 방법 대비, SAE는 무관한 변환은 거부하고 의미 보존적인 재구성은 허용합니다.