Image de couverture de livre

Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lin, Yi, Zhao, Lujin, Shi, Yijie
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Neurosymbolic Repo-level Code Localization
par: Xu, Xiufeng, et autres
Publié: (2026)

RepoRepair: Leveraging Code Documentation for Repository-Level Automated Program Repair
par: Pan, Zhongqiang, et autres
Publié: (2026)

Pull Requests as a Training Signal for Repo-Level Code Editing
par: Zhu, Qinglin, et autres
Publié: (2026)

RepoHyper: Search-Expand-Refine on Semantic Graphs for Repository-Level Code Completion
par: Phan, Huy N., et autres
Publié: (2024)

RepoReviewer: A Local-First Multi-Agent Architecture for Repository-Level Code Review
par: Zhang, Peng
Publié: (2026)

An Empirical Study on Strong-Weak Model Collaboration for Repo-level Code Generation
par: Gandhi, Shubham, et autres
Publié: (2025)

RepoMasterEval: Evaluating Code Completion via Real-World Repositories
par: Wu, Qinyun, et autres
Publié: (2024)

RepoMirage: Probing Repository Context Reasoning in Code Agents with Perturbations
par: Li, Hanyu, et autres
Publié: (2026)

RepoDebug: Repository-Level Multi-Task and Multi-Language Debugging Evaluation of Large Language Models
par: Liu, Jingjing, et autres
Publié: (2025)

Toward Executable Repository-Level Code Generation via Environment Alignment
par: Pan, Ruwei, et autres
Publié: (2026)

RepoTransBench: A Real-World Multilingual Benchmark for Repository-Level Code Translation
par: Wang, Yanli, et autres
Publié: (2024)

CodeRepoQA: A Large-scale Benchmark for Software Engineering Question Answering
par: Hu, Ruida, et autres
Publié: (2024)

In Line with Context: Repository-Level Code Generation via Context Inlining
par: Hu, Chao, et autres
Publié: (2026)

Needle in the Repo: A Benchmark for Maintainability in AI-Generated Repository Edits
par: Zhu, Haichao, et autres
Publié: (2026)

Teaching Machines to Code: Smart Contract Translation with LLMs
par: Karanjai, Rabimba, et autres
Publié: (2024)

CodeCircuit: Toward Inferring LLM-Generated Code Correctness via Attribution Graphs
par: He, Yicheng, et autres
Publié: (2026)

Tool-integrated Reinforcement Learning for Repo Deep Search
par: Ma, Zexiong, et autres
Publié: (2025)

Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
par: Sakharova, Marina, et autres
Publié: (2025)

RepoGraph: Enhancing AI Software Engineering with Repository-level Code Graph
par: Ouyang, Siru, et autres
Publié: (2024)

Towards Better Correctness and Efficiency in Code Generation
par: Feng, Yunlong, et autres
Publié: (2025)

RepoMaster: Autonomous Exploration and Understanding of GitHub Repositories for Complex Task Solving
par: Wang, Huacan, et autres
Publié: (2025)

Toward Automated and Trustworthy Scientific Analysis and Visualization with LLM-Generated Code
par: Chakroborti, Apu Kumar, et autres
Publié: (2025)

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
par: Zhao, Qianhui, et autres
Publié: (2025)

On the Impacts of Contexts on Repository-Level Code Generation
par: Hai, Nam Le, et autres
Publié: (2024)

CATCODER: Repository-Level Code Generation with Relevant Code and Type Context
par: Pan, Zhiyuan, et autres
Publié: (2024)

ComBench: A Repo-level Real-world Benchmark for Compilation Error Repair
par: Li, Jia, et autres
Publié: (2026)

Spec-Driven Development:From Code to Contract in the Age of AI Coding Assistants
par: Piskala, Deepak Babu
Publié: (2026)

A.S.E: A Repository-Level Benchmark for Evaluating Security in AI-Generated Code
par: Lian, Keke, et autres
Publié: (2025)

RedCode: Risky Code Execution and Generation Benchmark for Code Agents
par: Guo, Chengquan, et autres
Publié: (2024)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning
par: Liu, Ye, et autres
Publié: (2025)

Learning to Generate Secure Code via Token-Level Rewards
par: Quan, Jiazheng, et autres
Publié: (2026)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
par: Liu, Ye, et autres
Publié: (2024)

Paradigm shift on Coding Productivity Using GenAI
par: Yu, Liang
Publié: (2025)

Automated Benchmark Generation for Repository-Level Coding Tasks
par: Vergopoulos, Konstantinos, et autres
Publié: (2025)

Less is More: Towards Green Code Large Language Models via Unified Structural Pruning
par: Yang, Guang, et autres
Publié: (2024)

TENET: Leveraging Tests Beyond Validation for Code Generation
par: Hu, Yiran, et autres
Publié: (2025)

Hallucinations in Code Change to Natural Language Generation: Prevalence and Evaluation of Detection Metrics
par: Liu, Chunhua, et autres
Publié: (2025)

Comparison of Static Application Security Testing Tools and Large Language Models for Repo-level Vulnerability Detection
par: Zhou, Xin, et autres
Publié: (2024)

ContractSkill: Repairable Contract-Based Skills for Multimodal Web Agents
par: Lu, Zijian, et autres
Publié: (2026)

Hybrid-Code v2: Zero-Hallucination Clinical ICD-10 Coding via Neuro-Symbolic Verification and Automated Knowledge Base Expansion
par: Yu, Yunguo
Publié: (2025)