← Search

Shang Zhu

5 accepted papers

2026

DSGym: A Standardized and Holistic Framework for Advancing Data Science Agents

ICML 2026poster

Data science agents promise to accelerate discovery and insight-generation by turning data into executable analyses and findings. Yet existing data science benchmarks fall short due to fragmented evaluation interfaces that make cross-benchmark comparison difficult, narrow task coverage and a lack of…

Cited by 0SourceScholar
2026

When Does Divide and Conquer Work for Long Context LLM? A Noise Decomposition Framework

ICLR 2026poster

We investigate the challenge of applying Large Language Models (LLMs) to long texts. We propose a theoretical framework that distinguishes the failure modes of long context tasks into three categories: cross-chunk dependence (task noise), confusion that grows with context size (model noise), and the…

Cited by 0SourcecodeScholar
2025

Improving Model Alignment Through Collective Intelligence of Open-Source Models

ICML 2025poster

Building helpful and harmless large language models (LLMs) requires effective model alignment approach based on human instructions and feedback, which necessitates high-quality human-labeled data. Constructing such datasets is often expensive and hard to scale, and may face potential limitations on…

Cited by 0SourcePDFScholar
2025

Scaling Instruction-tuned LLMs to Million-token Contexts via Hierarchical Synthetic Data Generation

ICLR 2025poster

Large Language Models (LLMs) struggle with long-context reasoning, not only due to the quadratic scaling of computational complexity with sequence length but also because of the scarcity and expense of annotating long-context data. There has been barely any open-source work that systematically ablat…

Cited by 0SourcePDFScholar
2025

Weaver: Shrinking the Generation-Verification Gap by Scaling Compute for Verification

NeurIPS 2025poster

Verifiers can improve language model (LM) capabilities by providing feedback or selecting the best response from a pool of generated candidates. Currently, high-quality verifiers are either unscalable (e.g., humans) or limited in utility (e.g., tools like Lean for formal proofs). While LM judges and…

Cited by 0SourceScholar