자동 정형화
자연어로 된 문제나 요구사항을 컴퓨터가 이해하고 실행할 수 있는 코드나 논리식 형태로 자동으로 변환하는 기술이다. 텍스트 생성 과정의 정확도와 검증 가능성을 높여준다.
GPT-4o보다 정확하고 o1보다 80% 저렴한 MIT의 AI 협업 모델 DisCIPL