Copertina

GeoContra: From Fluent GIS Code to Verifiable Spatial Analysis with Geography-Grounded Repair

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Xiao, Yinhao, Xiao, Rongbo, Zhang, Yihan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From PowerPoint UI Sketches to Web-Based Applications: Pattern-Driven Code Generation for GIS Dashboard Development Using Knowledge-Augmented LLMs, Context-Aware Visual Prompting, and the React Framework
di: Xu, Haowen, et al.
Pubblicazione: (2025)

Hypothesize-Then-Verify: Speculative Root Cause Analysis for Microservices with Pathwise Parallelism
di: Zhang, Lingzhe, et al.
Pubblicazione: (2026)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
di: Erfan, Md, et al.
Pubblicazione: (2026)

WybeCoder: Verified Imperative Code Generation
di: Gloeckle, Fabian, et al.
Pubblicazione: (2026)

SIEVE: Towards Verifiable Certification for Code-datasets
di: Mbodji, Fatou Ndiaye, et al.
Pubblicazione: (2025)

CVeDRL: An Efficient Code Verifier via Difficulty-aware Reinforcement Learning
di: Shi, Ji, et al.
Pubblicazione: (2026)

An Execution-Verified Multi-Language Benchmark for Code Semantic Reasoning
di: Li, Yikun, et al.
Pubblicazione: (2026)

Aletheia: What Makes RLVR For Code Verifiers Tick?
di: Venkatkrishna, Vatsal, et al.
Pubblicazione: (2026)

RepoRepair: Leveraging Code Documentation for Repository-Level Automated Program Repair
di: Pan, Zhongqiang, et al.
Pubblicazione: (2026)

ReCode: Improving LLM-based Code Repair with Fine-Grained Retrieval-Augmented Generation
di: Zhao, Yicong, et al.
Pubblicazione: (2025)

GIS Copilot: Towards an Autonomous GIS Agent for Spatial Analysis
di: Akinboyewa, Temitope, et al.
Pubblicazione: (2024)

From Mirage to Grounding: Towards Reliable Multimodal Circuit-to-Verilog Code Generation
di: Yang, Guang, et al.
Pubblicazione: (2026)

Edit, But Verify: An Empirical Audit of Instructed Code-Editing Benchmarks
di: Ebrahimi, Amir M., et al.
Pubblicazione: (2026)

SCoGen: Scenario-Centric Graph-Based Synthesis of Real-World Code Problems
di: Yao, Xifeng, et al.
Pubblicazione: (2025)

OpenComputer: Verifiable Software Worlds for Computer-Use Agents
di: Wei, Jinbiao, et al.
Pubblicazione: (2026)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
di: Cramer, Marcos, et al.
Pubblicazione: (2025)

MergeRepair: An Exploratory Study on Merging Task-Specific Adapters in Code LLMs for Automated Program Repair
di: Dehghan, Meghdad, et al.
Pubblicazione: (2024)

Where Code Meets Natural Language: Taxonomy-Driven Information Flow Analysis for LLM-Integrated Applications
di: Xu, Zihao, et al.
Pubblicazione: (2026)

From Benchmark Data To Applicable Program Repair: An Experience Report
di: Chandramohan, Mahinthan, et al.
Pubblicazione: (2025)

Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications
di: Jin, Haolin, et al.
Pubblicazione: (2025)

LLM-Powered Code Vulnerability Repair with Reinforcement Learning and Semantic Reward
di: Islam, Nafis Tanveer, et al.
Pubblicazione: (2024)

NARRepair: Non-Autoregressive Code Generation Model for Automatic Program Repair
di: Yang, Zhenyu, et al.
Pubblicazione: (2024)

Automated Repair of AI Code with Large Language Models and Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2024)

RTLRepoCoder: Repository-Level RTL Code Completion through the Combination of Fine-Tuning and Retrieval Augmentation
di: Wu, Peiyang, et al.
Pubblicazione: (2025)

AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution
di: Luo, Weilin, et al.
Pubblicazione: (2025)

XSearch: Explainable Code Search via Concept-to-Code Alignment
di: Liu, Yiming, et al.
Pubblicazione: (2026)

Repair-R1: Better Test Before Repair
di: Hu, Haichuan, et al.
Pubblicazione: (2025)

INTERVENOR: Prompting the Coding Ability of Large Language Models with the Interactive Chain of Repair
di: Wang, Hanbin, et al.
Pubblicazione: (2023)

Do Current Language Models Support Code Intelligence for R Programming Language?
di: Zhao, ZiXiao, et al.
Pubblicazione: (2024)

Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development
di: Koch, Christopher
Pubblicazione: (2026)

A Study on the Impact of Fault localization Granularity for Repository-Scale Code Repair Tasks
di: Townsend, Joseph, et al.
Pubblicazione: (2026)

Towards Better Correctness and Efficiency in Code Generation
di: Feng, Yunlong, et al.
Pubblicazione: (2025)

o1-Coder: an o1 Replication for Coding
di: Zhang, Yuxiang, et al.
Pubblicazione: (2024)

BoostAPR: Boosting Automated Program Repair via Execution-Grounded Reinforcement Learning with Dual Reward Models
di: Li, Yuanhao, et al.
Pubblicazione: (2026)

Clover: Closed-Loop Verifiable Code Generation
di: Sun, Chuyue, et al.
Pubblicazione: (2023)

WebVIA: A Web-based Vision-Language Agentic Framework for Interactive and Verifiable UI-to-Code Generation
di: Xu, Mingde, et al.
Pubblicazione: (2025)

Precision in Practice: Knowledge Guided Code Summarizing Grounded in Industrial Expectations
di: Li, Jintai, et al.
Pubblicazione: (2026)

ContraFix: Agentic Vulnerability Repair via Differential Runtime Evidence and Skill Reuse
di: Liu, Simiao, et al.
Pubblicazione: (2026)

From Empirical Evaluation to Context-Aware Enhancement: Repairing Regression Errors with LLMs
di: Ho, Anh, et al.
Pubblicazione: (2025)

Schedule-and-Calibrate: Utility-Guided Multi-Task Reinforcement Learning for Code LLMs
di: Chen, Yujia, et al.
Pubblicazione: (2026)