auto-formalization

자연어로 된 문제나 요구사항을 컴퓨터가 이해하고 실행할 수 있는 코드나 논리식 형태로 자동으로 변환하는 기술이다. 텍스트 생성 과정의 정확도와 검증 가능성을 높여준다.