@misc{indiciaea4d949dd96eb,
  title = {Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement},
  author = {Jui-Hui Chung and Ziyang Cai and Zihao Li and Qishuo Yin and Rohit Agarwal and Simon Park and Rodrigo Porto and Narutatsu Ri and Ziran Yang and Shange Tang and Xingyu Dang and Hongzhou Lin and Mengdi Wang and Danqi Chen and Chi Jin and Liam H Fowl and Sanjeev Arora},
  year = {2026},
  url = {https://arxiv.org/abs/2606.06468},
  note = {Source identifier: 2606.06468}
}