TY  - RPRT
TI  - Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
AU  - Jui-Hui Chung
AU  - Ziyang Cai
AU  - Zihao Li
AU  - Qishuo Yin
AU  - Rohit Agarwal
AU  - Simon Park
AU  - Rodrigo Porto
AU  - Narutatsu Ri
AU  - Ziran Yang
AU  - Shange Tang
AU  - Xingyu Dang
AU  - Hongzhou Lin
AU  - Mengdi Wang
AU  - Danqi Chen
AU  - Chi Jin
AU  - Liam H Fowl
AU  - Sanjeev Arora
PY  - 2026
UR  - https://arxiv.org/abs/2606.06468
ID  - 2606.06468
ER  -