Informalization

정형화된 기호나 수식을 사람이 이해하기 쉬운 자연어로 다시 풀어쓰는 과정이다. 모델이 이해한 논리를 검증하거나 설명 가능한 AI를 구현하는 데 활용된다.