Hongzhou Lin
- Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
2025/02/11 by Yong Lin, Shange Tang, Lin, Yong +19 · 2 voices · 34 citations
#cs.LG #cs.AI
- Is One Layer Enough? Training A Single Transformer Layer Can Match Full-Parameter RL Training
2026/07/01 by Zijian Zhang, Rizhen Hu, Athanasios Glentis +4 · 17 voices
#cs.LG #cs.CL
- A Universal Catalyst for First-Order Optimization
2015/06/06 by Hongzhou Lin, Julien Mairal, Lin, Hongzhou +3 · 13 citations
Computer Science · #Complexity and Algorithms in Graphs #FOS: Mathematics #Machine Learning and Algorithms #Optimization and Control (math.OC) #Stochastic Gradient Optimization Techniques
- Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
2025/08/05 by Yong Lin, Lin, Yong, Shange Tang +37 · 2 voices · 36 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.LG
- UNDIAL: Self-Distillation with Adjusted Logits for Robust Unlearning in Large Language Models
2024/02/15 by Yijiang River Dong, Hongzhou Lin, Dong, Yijiang River +7 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Topic Modeling
- IDEAL: Inexact DEcentralized Accelerated Augmented Lagrangian Method
2020/06/11 by Yossi Arjevani, Joan Bruna, Arjevani, Yossi +9 · 3 citations
Computer Science · Engineering · #Stochastic Gradient Optimization Techniques #Sparse and Compressive Sensing Techniques #Distributed Control Multi-Agent Systems
- Museum specimens shedding light on the evolutionary history and cryptic diversity of the hedgehog family Erinaceidae
2024/10/06 by Ying Zeng, Kai He, Xing Chen +12 · 1 voice · 2 citations
Environmental Science · Biochemistry, Genetics and Molecular Biology · #Wildlife Ecology and Conservation #Identification and Quantification in Food #Genetic diversity and population structure