paper-with-me

홈 › Papers

Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback

2024-03-25 · Zhangqian Bi, Yao Wan, Zheng Wang, Hongyu Zhang, Batu Guan, Fangxin Lu, Zili Zhang, Yulei Sui, Hai Jin, Xuanhua Shi

Large Language Models (LLMs) have shown remarkable progress in automated code generation. Yet, LLM-generated code may contain errors in API usage, class, data structure, or missing project-specific information. As much of this project-specific context cannot fit into the prompts of LLMs, we must find ways to allow the model to explore the project-level code context. We present CoCoGen, a new code generation approach that uses compiler feedback to improve the LLM-generated code. CoCoGen first leverages static analysis to identify mismatches between the generated code and the project's context. It then iteratively aligns and fixes the identified errors using information extracted from the code repository. We integrate CoCoGen with two representative LLMs, i.e., GPT-3.5-Turbo and Code Llama (13B), and apply it to Python code generation. Experimental results show that CoCoGen significantly improves the vanilla LLMs by over 80% in generating code dependent on the project context and consistently outperforms the existing retrieval-based code generation baselines.

📄 PDF Abstract BibTeX arXiv:2403.16792

Code (1)

CGCL-codes/naturalcc 공식 구현 pytorch

Tasks

Code GenerationRetrieval

Methods 이 논문이 사용한 방법론

Refunds@Expedia|||How do I get a full refund from Expedia? “How do I get a full refund from Expedia? How do I get a full refund from Expedia? – Call ☎️ +1-(888) 829 (0881) or +1-805-330-4056 or +1-805-330-4056 for Quick Help &…
Attention 설명 없음
Linear Layer A Linear Layer is a projection $\mathbf{XW + b}$.
Attention Dropout Attention Dropout is a type of dropout used in attention-based architectures, where elements are randomly dropped out of the…
15 Ways to Contact How can i speak to someone at Delta Airlines 설명 없음
Residual Connection 설명 없음
Cosine Annealing Cosine Annealing is a type of learning rate schedule that has the effect of starting with a large learning rate that is relatively rapidly decreased to a minimum value before…
Multi-Head Attention 설명 없음

Similar Papers 제목 키워드 기반

COrAL: Order-Agnostic Language Modeling for Efficient Iterative Refinement

2024-10-12 · Yuxi Xie, Anirudh Goyal, Xiaobao Wu, Xunjian Yin 외

Iterative refinement has emerged as an effective paradigm for enhancing the capabilities of large language models (LLMs) on complex tasks. However, existing approaches typically implement iterative refinement at the appl…

Code GenerationComputational EfficiencyGSM8KLanguage Modeling+1

OmniDS: Dual-Stream Context Fusion for Omnidirectional Depth from Fisheye Cameras

2026-07-03 · Chaesong Park, Jihyeon Hwang, Muyeol Sung, Jongwoo Lim arxiv

Omnidirectional depth estimation from multi-fisheye camera rigs is complicated by visibility conflicts: wide baselines cause different cameras to observe different portions, or even different faces, of the same object, s…

Depth Estimation

Recurrent Back-Projection Network for Video Super-Resolution

2019-03-25 · CVPR 2019 6 · Muhammad Haris, Greg Shakhnarovich, Norimichi Ukita

We proposed a novel architecture for the problem of video super-resolution. We integrate spatial and temporal contexts from continuous video frames using a recurrent encoder-decoder module, that fuses multi-frame informa…

DecoderImage Super-ResolutionSuper-ResolutionVideo Super-Resolution

IMENet: Joint 3D Semantic Scene Completion and 2D Semantic Segmentation through Iterative Mutual Enhancement

2021-06-29 · Jie Li, Laiyan Ding, Rui Huang

3D semantic scene completion and 2D semantic segmentation are two tightly correlated tasks that are both essential for indoor scene understanding, because they predict the same semantic classes, using positively correlat…

2D Semantic Segmentation3D Semantic Scene CompletionScene UnderstandingSegmentation+1

Compiler-Guided Adaptive Proof Search with Cross-Model Synergy on Context-Dependent Theorem Proving

2026-06-04 · Zhuo Liu, Ding Yu, Hangfeng He arxiv

Theorem proving in real-world Lean 4 projects is challenging because proofs often depend on project-specific context. While iterative refinement can use compiler errors to repair failed proofs, reusing failed attempts re…