Kaiyu Yang

Identifiers

• name variant Kaiyu Yang 0.60 · backfill

Papers (7)

1. Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search cs.LO · 2026 · author #4
2. Argus: Evidence Assembly for Scalable Deep Research Agents cs.CL · 2026 · author #7
3. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction cs.LG · 2025 · author #15
4. Learning to Prove Theorems via Interacting with Proof Assistants cs.LO · 2019 · author #1
5. Stacked Hourglass Networks for Human Pose Estimation cs.CV · 2016 · author #2
6. Universal quantum gates based on both geometric and dynamic phases in quantum dots quant-ph · 2003 · author #1
7. Quantum information processing using Josephson junctions coupled through cavities quant-ph · 2003 · author #3

Mentions

• 2508.03613 #15 · arxiv_oai · confidence 0.70 Kaiyu Yang
• 2605.20244 #4 · arxiv_oai · confidence 0.70 Kaiyu Yang
• 2605.16217 #7 · arxiv_oai · confidence 0.70 Kaiyu Yang

Frequent Coauthors

• Jia Deng 2 shared papers
• Shi-Liang Zhu 2 shared papers
• Z. D. Wang 2 shared papers
• Alejandro Newell 1 shared papers
• Bo An 1 shared papers
• Bohan Lyu 1 shared papers
• Chi Jin 1 shared papers
• Danqi Chen 1 shared papers
• David Acuna 1 shared papers
• Haotian Xu 1 shared papers
• Haoyu Zhao 1 shared papers
• Hongzhou Lin 1 shared papers
• Jialin Lu 1 shared papers
• Jiawei Ge 1 shared papers
• Jiayun Wu 1 shared papers
• Jingruo Sun 1 shared papers
• Jiri Gesi 1 shared papers
• Jui-Hui Chung 1 shared papers
• Lai Jiang 1 shared papers
• Liangcai Su 1 shared papers