본문으로 건너뛰기

피드 트렌딩 커뮤니티 공지사항 기술 태그 AI 용어 사전 서비스 소개 문의 운영 정책 개인정보 처리방침

매일 업데이트되는 글로벌 소스의 AI/ML 뉴스를 수집하고 한국어로 요약합니다.

AI Trends·후원

피드 트렌딩 커뮤니티 공지

피드 트렌딩 커뮤니티 공지

자동 정형화 (auto-formalization) 용어 설명 | AI Trends

auto-formalization

자동 정형화

고급

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

비슷한 개념

formalization policy-to-code automated-reasoning automatic-deduction synthetic-text formal-language program-synthesis typed-enforcement

← 용어 사전 전체 보기