深度分析 GeoContra:以可執行地理合約驗證 LLM 生成的 GIS 空間分析 自動化GIS常產生可執行但地理不正確的程式。GeoContra以可執行地理合約描述問題、圖層、CRS、輸出與禁止捷徑,對生成程式做靜態、執行與語義驗證,並以具體違規回饋引導模型修復。實驗顯示在數千真實任務上可顯著提升空間正確性,讓LLM驅動的空間分析更可驗證。