Enduo Zhao

Identifiers

• name variant Enduo Zhao 0.60 · backfill

Papers (2)

1. OProver: A Unified Framework for Agentic Formal Theorem Proving cs.CL · 2026 · author #5
2. Scaling Latent Reasoning via Looped Language Models cs.CL · 2025 · author #28

Mentions

• 2605.17283 #5 · arxiv_oai · confidence 0.70 Enduo Zhao

Frequent Coauthors

• Jiaheng Liu 2 shared papers
• Jiajun Shi 2 shared papers
• Kaijing Ma 2 shared papers
• Yunfeng Shi 2 shared papers
• Andrew Smith 1 shared papers
• Bohong Wu 1 shared papers
• Boyi Wei 1 shared papers
• Chenghua Lin 1 shared papers
• David Ma 1 shared papers
• Fan Yin 1 shared papers
• Gavin Cheung 1 shared papers
• Ge Zhang 1 shared papers
• Haoran Que 1 shared papers
• He Xing 1 shared papers
• Hongzhi Huang 1 shared papers
• Jason Eshraghian 1 shared papers
• Jian Yang 1 shared papers
• Kai Hua 1 shared papers
• Lu Li 1 shared papers
• Mude Hui 1 shared papers