본문으로 건너뛰기

AI Trends

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

둘러보기

피드 트렌딩 커뮤니티 공지사항 일자별 아카이브

탐색

기술 태그 AI 용어 사전

서비스

서비스 소개 문의

정책

운영 정책 개인정보 처리방침 이용약관

© 2026 AI Trends. All rights reserved.후원

피드 트렌딩 커뮤니티 탐색 보관함

홈 트렌딩 커뮤니티 보관함 프로필

auto-formalization

자동 정형화

고급

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

비슷한 개념

formalization code-generation policy-to-code automated-reasoning automatic-deduction machine-readable-spec proof-checker synthetic-text

← 용어 사전 전체 보기