The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.
Pnm() for the general neural-network polynomials
in Definition 2.27 of Rafi, Padgett, and Nakarmi (2024).inst() and reusable
realizations through realize_nn().stk_many() and nn_sum_many() for
efficient n-ary algebraic operations. Unequal-depth realization
identities are documented as ReLU-specific because their padding uses
tunnel networks.MC() from one-dimensional inputs to the
full multidimensional construction in Definition 2.39, including the
valid one-sample case.validate_nn() and repaired
draw_nn().is_nn() now verifies numeric, finite, dimensionally
connected layers.Sum(n, k) now supports every positive n
and k, as its definition requires.Prd(q, eps) now allocates the square-network error
budget using eps / (2^(q - 1) + 1).A,
B, A_k, C_k, and ck
are no longer public. Use Phi() or Phi_k()
instead.source() calls and duplicate
infix implementations.These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.