Lin, Hongzhou

13 publications

ICLR 2026 Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin

ICLR 2026 QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation Jiazheng Li, Hongzhou Lin, Hong Lu, Kaiyue Wen, Zaiwen Yang, Jiaxuan Gao, Yi Wu, Jingzhao Zhang

ICLR 2025 From Sparse Dependence to Sparse Attention: Unveiling How Chain-of-Thought Enhances Transformer Sample Efficiency Kaiyue Wen, Huaqing Zhang, Hongzhou Lin, Jingzhao Zhang

NeurIPS 2025 Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora

ICML 2025 Task Generalization with Autoregressive Compositional Structure: Can Learning from $d$ Tasks Generalize to $D^T$ Tasks? Amirhesam Abedsoltan, Huaqing Zhang, Kaiyue Wen, Hongzhou Lin, Jingzhao Zhang, Mikhail Belkin

NeurIPSW 2024 From Sparse Dependence to Sparse Attention: Unveiling How Chain-of-Thought Enhances Transformer Sample Efficiency Kaiyue Wen, Huaqing Zhang, Hongzhou Lin, Jingzhao Zhang

ICML 2022 Beyond Worst-Case Analysis in Stochastic Approximation: Moment Estimation Improves Instance Complexity Jingzhao Zhang, Hongzhou Lin, Subhro Das, Suvrit Sra, Ali Jadbabaie

NeurIPS 2021 Delayed Gradient Averaging: Tolerate the Communication Latency for Federated Learning Ligeng Zhu, Hongzhou Lin, Yao Lu, Yujun Lin, Song Han

ICML 2020 Complexity of Finding Stationary Points of Nonconvex Nonsmooth Functions Jingzhao Zhang, Hongzhou Lin, Stefanie Jegelka, Suvrit Sra, Ali Jadbabaie

NeurIPS 2020 IDEAL: Inexact DEcentralized Accelerated Augmented Lagrangian Method Yossi Arjevani, Joan Bruna, Bugra Can, Mert Gurbuzbalaban, Stefanie Jegelka, Hongzhou Lin

AISTATS 2018 Catalyst for Gradient-Based Nonconvex Optimization Courtney Paquette, Hongzhou Lin, Dmitriy Drusvyatskiy, Julien Mairal, Zaïd Harchaoui

NeurIPS 2018 ResNet with One-Neuron Hidden Layers Is a Universal Approximator Hongzhou Lin, Stefanie Jegelka

NeurIPS 2015 A Universal Catalyst for First-Order Optimization Hongzhou Lin, Julien Mairal, Zaid Harchaoui