GeoContra: 유동적인 GIS 코드로 검증 가능한 공간 분석으로의 전환

GIS 과학에서 신뢰할 수 있는 공간 분석은 좌표의 의미, 위상, 단위 및 지리적 타당성을 보존하는 것을 요구합니다. 현재 LLM 기반 GIS 시스템은 유동적인 스크립트를 생성하지만, 대규모로 이러한 지리적 규칙을 강제하지는 않습니다. 우리는 GeoContra를 제시합니다: 이는 LLM 구동 Python GIS 워크플로우를 위한 검증 및 수리 프레임워크입니다. 각 작업은 실행 가능한 지리적 계약으로 표현되며, 자연어 질문, 스키마, CRS 메타데이터, 예상 출력값, 공간 전제 조건, 위상, 지표, 필요한 연산자, 그리고 금지된 단축법을 포함합니다. 생성된 프로그램은 정적 규칙 검사, 런타임 검증, 의미론적 검증을 거쳐서 위반 사항이 제한된 수리 루프에 다시 피드백됩니다. 15 번스톤 지역 구역, 9 가지 작업 계열, 11 개 오픈소스 모델 (각 600 회 실행) 을 포함한 7,079 개의 실제 지리적 작업을 대상으로 평가한 결과, GeoContra 는 폐쇄된 모델에서 DeepSeek-V4 의 공간 정확도를 47.6% 에서 77.5% 로 개선하고 Kimi-K2.5 의 경우 57.7% 에서 81.5% 로 개선했습니다. 11 개의 오픈 모델 전체에 걸쳐 평균 정확도는 26.6% 가 상승했습니다. GeoContra 는 유동적인 코드 생성을 검증 가능한 공간 분석으로 전환하여, 음의 이동 시간, CRS/필드 스키마 위반, 누락된 전제 조건, 그리고 실행 가능하지만 지리적으로 무효한 결과를 초래할 수 있는 취약한 출력 캐스팅을 포착합니다.