Imagen de Portada

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhong, Sicheng, Zhu, Jiading, Tian, Yifang, Si, Xujie
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Towards Repository-Level Program Verification with Large Language Models
por: Zhong, Si Cheng, et al.
Publicado: (2025)

HCAG: Hierarchical Abstraction and Retrieval-Augmented Generation on Theoretical Repositories with LLMs
por: Wu, Yusen, et al.
Publicado: (2026)

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
por: Sun, Chuyue, et al.
Publicado: (2025)

Beyond Function-Level Search: Repository-Aware Dual-Encoder Code Retrieval with Adversarial Verification
por: Liu, Aofan, et al.
Publicado: (2025)

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
por: Zhao, Qianhui, et al.
Publicado: (2025)

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

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

Repository-Aware File Path Retrieval via Fine-Tuned LLMs
por: Yanuganti, Vasudha, et al.
Publicado: (2025)

On the Impacts of Contexts on Repository-Level Code Generation
por: Hai, Nam Le, et al.
Publicado: (2024)

Beyond Code Snippets: Benchmarking LLMs on Repository-Level Question Answering
por: Alebachew, Yoseph Berhanu, et al.
Publicado: (2026)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
por: Tang, Hao, et al.
Publicado: (2024)

ATime-Consistent Benchmark for Repository-Level Software Engineering Evaluation
por: Xianpeng, et al.
Publicado: (2026)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
por: Dong, Honghua, et al.
Publicado: (2025)

Toward Executable Repository-Level Code Generation via Environment Alignment
por: Pan, Ruwei, et al.
Publicado: (2026)

AlignCoder: Aligning Retrieval with Target Intent for Repository-Level Code Completion
por: Jiang, Tianyue, et al.
Publicado: (2026)

Persistent Cross-Attempt State Optimization for Repository-Level Code Generation
por: Pan, Ruwei, et al.
Publicado: (2026)

Automated Benchmark Generation for Repository-Level Coding Tasks
por: Vergopoulos, Konstantinos, et al.
Publicado: (2025)

Hierarchical Repository-Level Code Summarization for Business Applications Using Local LLMs
por: Dhulshette, Nilesh, et al.
Publicado: (2025)

AutoVerus: Automated Proof Generation for Rust Code
por: Yang, Chenyuan, et al.
Publicado: (2024)

RAG-MCP: Mitigating Prompt Bloat in LLM Tool Selection via Retrieval-Augmented Generation
por: Gan, Tiantian, et al.
Publicado: (2025)

A.S.E: A Repository-Level Benchmark for Evaluating Security in AI-Generated Code
por: Lian, Keke, et al.
Publicado: (2025)

LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering
por: Feng, Shuzhao, et al.
Publicado: (2026)

CATCODER: Repository-Level Code Generation with Relevant Code and Type Context
por: Pan, Zhiyuan, et al.
Publicado: (2024)

In Line with Context: Repository-Level Code Generation via Context Inlining
por: Hu, Chao, et al.
Publicado: (2026)

ReCUBE: Evaluating Repository-Level Context Utilization in Code Generation
por: Hong, Jiseung, et al.
Publicado: (2026)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
por: Liu, Ye, et al.
Publicado: (2024)

Reformulate, Retrieve, Localize: Agents for Repository-Level Bug Localization
por: Caumartin, Genevieve, et al.
Publicado: (2025)

On The Importance of Reasoning for Context Retrieval in Repository-Level Code Editing
por: Kovrigin, Alexander, et al.
Publicado: (2024)

RAG4Tickets: AI-Powered Ticket Resolution via Retrieval-Augmented Generation on JIRA and GitHub Data
por: Baqar, Mohammad
Publicado: (2025)

GenAI-powered Multi-Agent Paradigm for Smart Urban Mobility: Opportunities and Challenges for Integrating Large Language Models (LLMs) and Retrieval-Augmented Generation (RAG) with Intelligent Transportation Systems
por: Xu, Haowen, et al.
Publicado: (2024)

Scam2Prompt: A Scalable Framework for Auditing Malicious Scam Endpoints in Production LLMs
por: Chen, Zhiyang, et al.
Publicado: (2025)

REPOFUSE: Repository-Level Code Completion with Fused Dual Context
por: Liang, Ming, et al.
Publicado: (2024)

LibRec: Benchmarking Retrieval-Augmented LLMs for Library Migration Recommendations
por: Han, Junxiao, et al.
Publicado: (2025)

Vector Graph-Based Repository Understanding for Issue-Driven File Retrieval
por: Bevziuk, Kostiantyn, et al.
Publicado: (2025)

Needle in the Repo: A Benchmark for Maintainability in AI-Generated Repository Edits
por: Zhu, Haichao, et al.
Publicado: (2026)

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
por: Agarwal, Anmol, et al.
Publicado: (2026)

Can LLMs Enable Verification in Mainstream Programming?
por: Shefer, Aleksandr, et al.
Publicado: (2025)

CodeGRAG: Bridging the Gap between Natural Language and Programming Language via Graphical Retrieval Augmented Generation
por: Du, Kounianhua, et al.
Publicado: (2024)

Developing Retrieval Augmented Generation (RAG) based LLM Systems from PDFs: An Experience Report
por: Khan, Ayman Asad, et al.
Publicado: (2024)

Toward Scalable Automated Repository-Level Datasets for Software Vulnerability Detection
por: Lbath, Amine
Publicado: (2026)