← Search

Haihan Zhang

4 accepted papers

2026

Reliable Fine-Grained Evaluation of Natural Language Math Proofs

ICLR 2026poster

Recent advances in large language models (LLMs) for mathematical reasoning have largely focused on tasks with easily verifiable final answers while generating and verifying natural language math proofs remains an open challenge. We identify the absence of a reliable, fine-grained evaluator for LLM-g…

Cited by 0SourcecodeScholar
2026

What Makes a Strong Model? A Unified Spectral Analysis of Knowledge Transfer over High-dimensional Linear Regression

ICML 2026poster

Teacher-Student Knowledge Transfer (KT) is ubiquitous in modern machine learning, ranging from classical model compression via Knowledge Distillation (KD) to the emergent phenomenon of Weak-to-Strong (W2S) generalization. While existing studies offer isolated insights, a unified theoretical framewor…

Cited by 0SourceScholar
2025

Learning Curves of Stochastic Gradient Descent in Kernel Regression

ICML 2025poster

This paper considers a canonical problem in kernel regression: how good are the model performances when it is trained by the popular online first-order algorithms, compared to the offline ones, such as ridge and ridgeless regression? In this paper, we analyze the foundational single-pass Stochastic…

Cited by 0SourcePDFScholar