GeoContra: Framework AI per l'Analisi Spaziale Verificabile
GeoContra è progettato per garantire che i flussi di lavoro GIS Python basati su LLM soddisfino gli standard geografici come la semantica delle coordinate e la topologia. Tratta ogni attività come un contratto geospaziale eseguibile, coprendo aspetti come domande in linguaggio naturale, schemi, metadati CRS, risultati attesi, predicati spaziali e metriche. I programmi generati vengono sottoposti a controlli statici delle regole, validazione runtime e verifica semantica, con eventuali problemi che entrano in un ciclo di riparazione. In uno studio su 7.079 attività geospaziali reali provenienti da 15 aree di Boston, attraverso 9 famiglie di attività e utilizzando 11 modelli open-source (con 600 esecuzioni ciascuno), GeoContra ha migliorato significativamente l'accuratezza spaziale per i modelli chiusi, aumentando le prestazioni di DeepSeek-V4 dal 47,6% al 77,5% e dal 57,7% all'81,5%.
Fatti principali
- GeoContra è un framework di verifica e riparazione per flussi di lavoro GIS Python basati su LLM.
- Impone la semantica delle coordinate, la topologia, le unità e la plausibilità geografica.
- Ogni attività è rappresentata come un contratto geospaziale eseguibile.
- I contratti includono domande in linguaggio naturale, schemi, metadati CRS, output attesi, predicati spaziali, topologia, metriche, operazioni richieste e scorciatoie vietate.
- I programmi generati vengono sottoposti a ispezione statica delle regole, validazione runtime e verifica semantica.
- Le violazioni vengono inserite in un ciclo di riparazione limitato.
- Valutato su 7.079 attività geospaziali reali in 15 zone dell'area di Boston, 9 famiglie di attività e 11 modelli open-source.
- Ha migliorato la correttezza spaziale sui modelli chiusi dal 47,6% al 77,5% per DeepSeek-V4 e dal 57,7% all'81,5%.
Entità
Luoghi
- Boston