symbolic-equivalence
서로 다른 두 표현이 수학적 또는 논리적으로 동일한 가치를 가짐을 의미한다. 변환 과정에서 논리적 본질이 유지되었는지 확인하는 기준이다.
수학적 추론의 한계 돌파: 자연어와 정형 언어를 잇는 새로운 방법론
SLM과 LLM의 수학적 추론 성능을 극대화하는 새로운 접근법