How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Low-rank adaptation of a linear layer
Definition
Let be positive integers, let , let , and fix a matrix . A rank- adapter for the linear layer consists of trainable factor matrices and and the updated weight matrix
Its output on is . The base matrix is frozen, meaning that an adaptation procedure does not update its entries; only entries of and are trainable in this definition. The update matrix is , whose rank is the dimension of its image as a linear map from to . No bias, dropout, random initialization, optimization rule, or convergence guarantee is part of this definition.
Definition references
Finite feedforward computation graphs and layered MLPs: its finite layered perceptron specializes to a linear matrix map when the layer has identity output activation and zero bias.
Hu et al., §4.1: frozen base matrix and trainable low-rank factors
MIT OCW, §§8.3–8.4: finite differentiable computation graphs and reverse-mode gradients
Depends on
Used by
Dependency tree · one level
1 result within one dependency step of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Edward Hu et al., LoRA: Low-Rank Adaptation of Large Language Models, arXiv:2106.09685v2, §4.1 (standard reference, not scraped)
- MIT OpenCourseWare 18.S096, Matrix Calculus for Machine Learning and Beyond, Lecture 5 Part 3, §§8.3–8.4 (standard reference, not scraped)