Allan Jie

Identifiers

• name variant Allan Jie 0.60 · backfill

Papers (2)

1. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving cs.AI · 2025 · author #6
2. Solving Formal Math Problems by Decomposition and Iterative Reflection cs.AI · 2025 · author #9

Mentions

• 2507.23726 #6 · arxiv_oai · confidence 0.70 Allan Jie
• 2507.15225 #9 · arxiv_oai · confidence 0.70 Allan Jie

Frequent Coauthors

• Jiahui Wang 2 shared papers
• Jianqiu Zhao 2 shared papers
• Luoxin Chen 2 shared papers
• Siran Wang 2 shared papers
• Yichi Zhou 2 shared papers
• Bohan Wang 1 shared papers
• Chenggang Li 1 shared papers
• Cheng Ren 1 shared papers
• Chenrui Wei 1 shared papers
• Chi Zhang 1 shared papers
• Fan Yang 1 shared papers
• Ge Zhang 1 shared papers
• Hang Li 1 shared papers
• Haocheng Wang 1 shared papers
• Haowei Chen 1 shared papers
• He Sun 1 shared papers
• Hongyi Yuan 1 shared papers
• Huaiyuan Ying 1 shared papers
• Huajian Xin 1 shared papers
• Huishuai Zhang 1 shared papers