TY  - RPRT
TI  - Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
AU  - Zenan Li
AU  - Ziran Yang
AU  - Deyuan He
AU  - Haoyu Zhao
AU  - Andrew Zhao
AU  - Shange Tang
AU  - Kaiyu Yang
AU  - Aarti Gupta
AU  - Zhendong Su
AU  - Chi Jin
PY  - 2026
UR  - https://arxiv.org/abs/2603.19329
ID  - 2603.19329
ER  -