자연어-SQL 변환 쿼리의 자동 검증: 방법론적 탐구 및 분석초록본 보고서는 자연어 질의를 SQL로 변환하는(Natural Language to SQL, NL2SQL) 과정에서 생성된 쿼리의 유효성을 사람의 개입 없이 자동으로 검증하는 방법론에 대한 포괄적인 탐구 및 심층 분석을 제공한다. 대규모 언어 모델(Large Language Models, LLM) 기반의 NL2SQL 시스템이 발전함에 따라, 단순히 쿼리를 생성하는 것을 넘어 그 결과물의 신뢰성, 정확성, 그리고 의미적 충실도를 보장하는 것이 핵심 과제로 부상하고 있다. 본 보고서는 먼저 기존 평가 지표인 완전 일치(Exact Match, EM)와 실행 정확도(Execution Accuracy, EA)의 한계를 심도 있게 분석하며, 특히 실행 정..