TY  - RPRT
TI  - P$^{3}$: Joint Program-and-Proof Planning for Verified Code Generation
AU  - Zenan Li
AU  - Ziran Yang
AU  - Peiyang Song
AU  - Zhaoyu Li
AU  - Kaiyu Yang
PY  - 2026
UR  - https://arxiv.org/abs/2608.09277
ID  - 2608.09277
ER  -