SELU on Rust/Oxide

Scaled Exponential Linear Unit

⏳ PENDING — not yet measured

Operation

Operation	SELU (`bpd_selu`)
Formula	f(x) = λ · (x if x > 0, else α(exp(x) - 1)), λ≈1.0507, α≈1.6733
Category	Transcendental (exp)

Kernel Specification (Prolog/Logtalk)

This is the backend-neutral op_expr fact that specifies the operation. The same term is lowered to LLVM IR, CUDA C, MLIR, and every other backend — one specification, many targets.

op_expr(bpd_selu,
    mul(const(1.0507009873554805),
        sel(le(var, const(0.0)),
            mul(const(1.6732632423543772),
                sub(call(exp, var), const(1.0))),
            var))).

Backend

Backend	Rust/Oxide (`rust_oxide`)
Target	gpu
Description	Rust/cuda-oxide. Compiled with rustc + cuda-oxide runtime.

Verification

This (operation, backend) pair has not yet been measured. When the backend emitter and verification infrastructure are ready, this cell will be tested against the PyTorch reference.