TY  - RPRT
TI  - Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm
AU  - Yi Lin
AU  - Lujin Zhao
AU  - Yijie Shi
PY  - 2026
UR  - https://arxiv.org/abs/2604.13100
ID  - 2604.13100
ER  -