Hongzhou Lin

Identifiers

• name variant Hongzhou Lin 0.60 · backfill

Papers (6)

1. Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover cs.AI · 2026 · author #2
2. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction cs.LG · 2025 · author #16
3. ResNet with one-neuron hidden layers is a Universal Approximator cs.LG · 2018 · author #1
4. Catalyst Acceleration for First-order Convex Optimization: from Theory to Practice stat.ML · 2017 · author #1
5. Catalyst Acceleration for Gradient-Based Non-Convex Optimization stat.ML · 2017 · author #2
6. A Universal Catalyst for First-Order Optimization math.OC · 2015 · author #1

Mentions

• 2508.03613 #16 · arxiv_oai · confidence 0.70 Hongzhou Lin

Frequent Coauthors

• Julien Mairal 3 shared papers
• Zaid Harchaoui 3 shared papers
• Chi Jin 2 shared papers
• Jui-Hui Chung 2 shared papers
• Lai Jiang 2 shared papers
• Shange Tang 2 shared papers
• Bohan Lyu 1 shared papers
• Courtney Paquette 1 shared papers
• Danqi Chen 1 shared papers
• David Acuna 1 shared papers
• Dmitriy Drusvyatskiy 1 shared papers
• Haoyu Zhao 1 shared papers
• Jiawei Ge 1 shared papers
• Jiayun Wu 1 shared papers
• Jingruo Sun 1 shared papers
• Jiri Gesi 1 shared papers
• Kaiyu Yang 1 shared papers
• Sanjeev Arora 1 shared papers
• Stefanie Jegelka 1 shared papers
• Ximing Lu 1 shared papers