pub enum RowGate {
Softmax {
inv_tau: f64,
},
PerAtomLogistic {
inv_tau: f64,
},
}Expand description
The gate nonlinearity ζ(ℓ) of the SAE assignment, as the row program sees
it. The production term carries the same two smooth branches (softmax over a
shared partition; per-atom IBP/JumpReLU sigmoid); the program reproduces the
branch the criterion evaluates so the value channel is the production gate.
Variants§
Softmax
Shared softmax over all atom logits with inverse temperature inv_tau.
ζ_k(ℓ) = softmax_k(ℓ · inv_tau).
PerAtomLogistic
Per-atom independent logistic gate ζ_k(ℓ_k) = σ((ℓ_k − shift_k)·inv_tau)
— the IBP-MAP / JumpReLU smooth activation (the per-atom shift_k
folds the IBP stick-breaking offset or the JumpReLU threshold). Each
gate depends only on its own logit, so the gate Hessian is diagonal.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for RowGate
impl RefUnwindSafe for RowGate
impl Send for RowGate
impl Sync for RowGate
impl Unpin for RowGate
impl UnsafeUnpin for RowGate
impl UnwindSafe for RowGate
Blanket Implementations§
impl<T> Allocation for T
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T, U> Imply<T> for U
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.