@misc{indiciae585d25a2cf0a,
  title = {AI-Assisted Completion of CertiGC Proofs: An Experience Report},
  author = {Shengyi Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2606.21167},
  note = {Source identifier: 2606.21167}
}