可執行地理合約

深度分析

GeoContra：以可執行地理合約驗證 LLM 生成的 GIS 空間分析

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