🧑‍🔬 Haoyu Zhao

🧭 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📅 Works by year

2020s

📄 Papers

The most cited first (OpenAlex and our library).

1. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction (2025 · 67 citations)
   Goedel-Prover-V2 is a family of open-source language models that write machine-checkable proofs in Lean 4.
2. CoV: Chain-of-View Prompting for Spatial Reasoning (2026 · 2 citations)
   Vision–language models (VLMs) used for embodied question answering (EQA) in 3D scenes usually receive a small, fixed set of frames.

🤝 Co-authors here

10 co-authors with a page, the most papers together first.

• Bohan Lyu
• Feng Chen
• Gholamreza Haffari
• Jiayun Wu
• Jiri Gesi
• Shange Tang
• Weijie Wang
• Yihan Geng
• Yong Lin
• Zeyu Zhang

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

• Findings of the Association for Computational Linguistics: Findings of the Association for Computational Linguistics 2026

🔗 Cited by

Papers of our library cite their works 67 times (of the 149,439 papers whose bibliographies we read); 6 citing papers with a page here →.

Updated 2 November 2026

This page in Markdown → https://md.research.elamur.ai/free/en/authors/haoyu-zhao/