paper-with-me

홈 › Papers

A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks

2020-10-07 · ICLR 2021 1 · Nikunj Saunshi, Sadhika Malladi, Sanjeev Arora

Autoregressive language models, pretrained using large text corpora to do well on next word prediction, have been successful at solving many downstream tasks, even with zero-shot usage. However, there is little theoretical understanding of this success. This paper initiates a mathematical study of this phenomenon for the downstream task of text classification by considering the following questions: (1) What is the intuitive connection between the pretraining task of next word prediction and text classification? (2) How can we mathematically formalize this connection and quantify the benefit of language modeling? For (1), we hypothesize, and verify empirically, that classification tasks of interest can be reformulated as sentence completion tasks, thus making language modeling a meaningful pretraining task. With a mathematical formalization of this hypothesis, we make progress towards (2) and show that language models that are $\epsilon$-optimal in cross-entropy (log-perplexity) learn features that can linearly solve such classification tasks with $\mathcal{O}(\sqrt{\epsilon})$ error, thus demonstrating that doing well on language modeling can be beneficial for downstream tasks. We experimentally verify various assumptions and theoretical findings, and also use insights from the analysis to design a new objective function that performs well on some classification tasks.

📄 PDF Abstract BibTeX arXiv:2010.03648

Code (0)

등록된 구현이 없습니다.

Tasks

ClassificationGeneral ClassificationLanguage ModelingLanguage ModellingSentenceSentence Completiontext-classificationText Classification

Similar Papers 제목 키워드 기반

Evaluating Large Language Models on Solved and Unsolved Problems in Graph Theory: Implications for Computing Education

2026-02-04 · Adithya Kulkarni, Mohna Chakraborty, Jay Bagga arxiv

Large Language Models are increasingly used by students to explore advanced material in computer science, including graph theory. As these tools become integrated into undergraduate and graduate coursework, it is importa…

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

2026-07-08 · Eric Jiang, Xiao Liang, Yikai Zhang, Yingjia Wan 외 arxiv

Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for well-defined mathematical problems through…

Mathematical Reasoning

AI co-mathematician: Accelerating mathematicians with agentic AI

2026-05-07 · Daniel Zheng, Ingrid von Glehn, Yori Zwols, Iuliya Beloshapka 외 arxiv

We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to provide holistic support for the exploratory…

Solving a Research Problem in Mathematical Statistics with AI Assistance

2025-11-24 · Edgar Dobriban arxiv

Over the last few months, AI models including large language models have improved greatly. There are now several documented examples where they have helped professional mathematical scientists prove new results, sometime…

Density Estimation

LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback

2024-06-20 · Bofei Gao, Zefan Cai, Runxin Xu, Peiyi Wang 외

In recent progress, mathematical verifiers have achieved success in mathematical reasoning tasks by validating the correctness of solutions generated by policy models. However, existing verifiers are trained with binary …

Binary ClassificationGSM8KMathMathematical Reasoning