Hongzhou Lin

QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

From Sparse Dependence to Sparse Attention: Unveiling How Chain-of-Thought Enhances Transformer Sample Efficiency

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Task Generalization with Autoregressive Compositional Structure: Can Learning from $D$ Tasks Generalize to $D^T$ Tasks?