formalization
자연어로 된 문장이나 문제를 수학적 기호나 프로그래밍 언어와 같은 엄격한 규칙을 가진 정형 언어로 변환하는 과정이다. 이를 통해 모호성을 제거하고 논리적 검증이 가능해지며, AI 모델이 복잡한 추론을 정확하게 수행하도록 돕는다.
자연어로 된 문장이나 문제를 수학적 기호나 프로그래밍 언어와 같은 엄격한 규칙을 가진 정형 언어로 변환하는 과정이다. 이를 통해 모호성을 제거하고 논리적 검증이 가능해지며, AI 모델이 복잡한 추론을 정확하게 수행하도록 돕는다.