Read the equation
This relation declares the set in which the stated variable is allowed to take values. It is a domain constraint or type declaration, not a state-update algorithm.
Terms & definitions
The recovered passage does not supply a separate symbol table. Read the source context for the notation used in this version; familiar letters may carry different meanings in other builds.
How it works
Read π⁰ as the quantity being defined or updated by this relation.
Substitute the source-defined variables or recorded values and follow the displayed arithmetic and indexing exactly.
Use this version’s variable definitions and update order. The same symbol may be assigned a different meaning in another build.
Assumptions & limits
Source recovery establishes that the expression appears in this record. Its mathematical validity, implementation behavior, and interpretation must be assessed separately. See the linked source and research notes for the checks available for this version.
Original context
Read the surrounding source passage
STAGE 0: STRUCTURAL SPARSITY (Entmax) π⁰ = Entmax_α(r) where α ∈ (1, 2] Unlike softmax, Entmax produces EXACT ZEROS for low-relevance substrates Softmax([3, 1, 0.5, 0.1]) = [0.73, 0.10, 0.06, 0.04] ← nothing is zero Entmax₂([3, 1, 0.5, 0.1]) = [0.89, 0.11, 0.00, 0.00] ← true sparsity
Exact original notation
π⁰ = Entmax_α(r) where α ∈ (1, 2]
Related builds
Sources & provenance
π⁰ = Entmax_α(r) where α ∈ (1, 2]