Ziyang Cai

Identifiers

• name variant Ziyang Cai 0.60 · backfill

Papers (1)

1. Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement cs.AI · 2026 · author #2

Mentions

• 2606.06468 #2 · arxiv_oai · confidence 0.70 Ziyang Cai

Frequent Coauthors

• Chi Jin 1 shared papers
• Danqi Chen 1 shared papers
• Hongzhou Lin 1 shared papers
• Jui-Hui Chung 1 shared papers
• Liam H Fowl 1 shared papers
• Mengdi Wang 1 shared papers
• Narutatsu Ri 1 shared papers
• Qishuo Yin 1 shared papers
• Rodrigo Porto 1 shared papers
• Rohit Agarwal 1 shared papers
• Sanjeev Arora 1 shared papers
• Shange Tang 1 shared papers
• Simon Park 1 shared papers
• Xingyu Dang 1 shared papers
• Zihao Li 1 shared papers
• Ziran Yang 1 shared papers