TY  - RPRT
TI  - AI-Assisted Completion of CertiGC Proofs: An Experience Report
AU  - Shengyi Wang
PY  - 2026
UR  - https://arxiv.org/abs/2606.21167
ID  - 2606.21167
ER  -