TY  - RPRT
TI  - The Order Is the Guarantee: Verifier-Budgeted Code Deletion with Static-First Learned Proposals
AU  - Ruitong Li
AU  - Binjie Guo
AU  - Aisheng Mo
AU  - Guowei Su
AU  - Han Wang
AU  - Jie Li
AU  - Ru Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2608.04611
ID  - 2608.04611
ER  -