informalization
정형화된 기호나 수식을 사람이 이해하기 쉬운 자연어로 다시 풀어쓰는 과정이다. 모델이 이해한 논리를 검증하거나 설명 가능한 AI를 구현하는 데 활용된다.
수학적 추론의 한계 돌파: 자연어와 정형 언어를 잇는 새로운 방법론
SLM과 LLM의 수학적 추론 성능을 극대화하는 새로운 접근법