Skip to content
∂erivon
OMNIBIAS IS PUBLIC ↗A NEW LANGUAGE FOR SCIENTIFIC ML
DERIVON / MATHEMATICAL INFRASTRUCTURE

Math that
trains.

Differentiate deeper. Make decisions differentiable. Build scientific models with mathematics that stays inside the training loop.

OPEN CORE. INSPECTABLE CODE. MEASURABLE RESULTS.

Derivative explorer
Drag to rotate · + / − to zoom
Scale & cross-section

Height is fitted to the plot. Normalized values divide by the sampled peak on x ∈ [−4, 4], y = 0: 0.7697.

BUILD WITHPyTorchJAXKeras 3
FORWARD SPATIAL DERIVATIVES.
ORDINARY PARAMETER AUTODIFF.
MEET THE IDEA ↓
01 / A DIFFERENT WAY THROUGH

Go deeper.
Keep the gradient.

High-order physics asks more of a model than a first derivative. Nested spatial autodiff can grow expensive before training even begins.

omnibias carries supported derivatives forward through the network. Activation identities and Taylor jets compute the quantities you need while keeping gradients into the parameters you want to train.

Inside the technology ↗
01

Evaluate the activation.

Shared polynomial recurrences provide supported activation derivatives.

02

Carry the derivatives forward.

Compose directional jets or contract the specific operator your residual needs.

03

Train through the result.

Use the derivative in your loss. Ordinary parameter autodiff completes the loop.

02 / IDEAS YOU CAN TOUCH

Small changes.
Different possibilities.

Explore the two limits behind derivative operators and trainable decisions.

TWO LIMITS. TWO DIFFERENT IDEAS.

Nearby shifts. An exact derivative.

Move the bias gap toward zero. The normalized difference approaches the first derivative. omnibias evaluates the analytic limit directly, avoiding subtraction of nearby samples.

[tanh(z + δ) − tanh(z)] / δ → tanh′(z)
Normalized finite difference┄ Analytic derivative
04 / EVIDENCE, WITH CONTEXT

Less graph.
More room to compute.

Specialized paths can change the cost of a derivative. Every number here has a workload, a baseline, and a reproducible source.

220×faster

Order 8 · 20,000 tanh inputs · Torch eager

Recorded derivative evaluation, not end-to-end training.

omnibias 0.1405 ms
Torch nested autograd 30.9908 ms

Float64 CPU · median of 9 repeats · operator compilation excluded.

Explore every baseline & accuracy result ↗
SOURCE derivative_order.json ↗Measured results. Workload-specific scope.
05 / OPEN AT THE FOUNDATION

Read the math.
Inspect the code.
Make it yours.

The public omnibias substrate contains 16 Python distributions. Core derivatives and backend primitives use Apache-2.0; selected advanced engines offer AGPL or commercial licensing.

Application solvers live in separate repositories. Each package keeps its own scope, maturity, and license.

From a mathematical bottleneck to a working model

Equations become
possibilities.

More of your physics. More of your model’s structure. Inside the training loop. Explore four workflows you can inspect, reproduce, and build on.

01 / MechanicsThe bottleneck
01 / THE WORKFLOWu(x)∂u∂2u∂3u∂4uDifferentiate. Retain the graph. Repeat.01Taylorcoefficients02Fourth-orderresidual03Parametergradientsu⁽⁴⁾ → u⁽⁴⁾ − q → ∇θ lossA differentiable computation, inside the training loop.Coordinate xDeflection uReferenceTrained result

Drag to explore. Scrolling continues the story.

< 0.001%Relative solution error
Recorded notebook run · CPU float64
Inspect result ↗
01 / Mechanics

Put more physics inside the training loop.

Conventional workflow

A fourth-order residual asks a spatial autodiff graph to differentiate itself again and again.

With omnibias

Carry the required derivatives forward. Train through the residual with gradients into every model parameter.

03 / THE RESULTu(x)∂u∂2u∂3u∂4uDifferentiate. Retain the graph. Repeat.01Taylorcoefficients02Fourth-orderresidual03Parametergradientsu⁽⁴⁾ → u⁽⁴⁾ − q → ∇θ lossA differentiable computation, inside the training loop.Coordinate xDeflection uReferenceTrained result

< 0.001% relative solution error · recorded example

Derivon connects the physics, boundary construction, derivative representation, and independent error checks into an engineering workflow.

A smooth, nondimensional, manufactured beam problem. Exact boundary conditions come from its polynomial envelope; global PDE convergence is not implied.

Run the notebook ↗Explore the engineering →
02 / Field calculus

Ask for the operator your equation needs.

Conventional workflow

A Laplacian needs a Hessian trace. Constructing every Hessian entry does extra work for that particular quantity.

With omnibias

Propagate the supported contraction directly, then use it in a trainable field equation.

03 / THE RESULT∂²u/∂x²∂²u/∂x∂y∂²u/∂y∂x∂²u/∂y²The Laplacian uses the diagonal sum.01Propagatederivatives02Contract thetrace03Train theresidualΔu = ∂²u/∂x² + ∂²u/∂y²A differentiable computation, inside the training loop.Solution uColor: 0 → 1Absolute errorPeak 1.0e-3Unit square · separate color scales

0.056% relative solution error · recorded example

Derivon selects operator representations and validation criteria for simulation surrogates, field models, and inverse-problem research.

A unit-square Poisson problem with a known smooth solution. Boundary values are penalized, not exactly enforced. This is not a measured training-speed comparison.

Run the notebook ↗Explore the engineering →
03 / Regional models

Let the model learn where its rules apply.

Conventional workflow

Hand-chosen regions freeze a modelling decision before the local experts are trained.

With omnibias

Learn smooth routing, thresholds, and regional experts jointly through a partition of unity.

03 / THE RESULTExpert 1Expert 2Who decides where the boundary belongs?01Smoothgate02Regionalexperts03Weightedpredictionŷ = w₁(x) f₁(x) + w₂(x) f₂(x)A differentiable computation, inside the training loop.Cyan: routing weight w₁ ∈ [0,1]Coordinate xResponseReferenceTrained result

3.64e-05 held-out rmse · recorded example

Derivon helps turn regime-dependent behaviour into trainable models, with separate checks for soft training and harder deployment decisions.

Synthetic two-regime regression, not an industrial deployment. Increasing the inverse temperature changes the model and can increase prediction error.

Run the notebook ↗Explore the engineering →
04 / Inverse problems

Turn measurements into model parameters.

Conventional workflow

Parameter fitting needs more than a loss function: parameterization, residual sensitivities, and solver assumptions determine the result.

With omnibias

Use residual-Jacobian curvature in a supported Gauss–Newton solver, keeping the parameter and residual contracts explicit.

03 / THE RESULTIllustration: match curvature to the residual.01Residual +Jacobian02Dampedcurvature03Updateparameters(JᵀJ + λI) Δθ = −JᵀrA differentiable computation, inside the training loop.Dashed: initial modelTime tResponseReferenceTrained result

< 1e-12 held-out rmse · recorded example

Derivon designs calibration workflows around identifiability, constraints, noise, and numerical conditioning before choosing an optimizer.

Three parameters and noiseless synthetic decay observations. Recovery at floating-point precision is not a robustness or uncertainty guarantee for noisy measurements.

Run the notebook ↗Explore the engineering →

Bring us the equation. Let’s build the model.

From problem formulation to tested implementation: work with Derivon on your scientific ML challenge.

Discuss your project →
YOUR NEXT IDEA STARTS HERE

Put the math
in motion.

Start with a working example. Bring us the derivative bottleneck, regional model, or integration you want to build next.