Scientific ML
Apply ML to scientific problems: physics-informed models, scientific computing, and research applications.
What is scientific machine learning?
Scientific machine learning, or scientific ML, combines learned models with knowledge about a scientific system. That knowledge may include governing equations, conservation laws, symmetries, units, geometry, boundary conditions, numerical solvers, or carefully designed experiments.
The goal is not to replace science with a neural network. The goal is to use learning where it creates measurable value: approximate an expensive simulation, infer a hidden parameter, assimilate sparse observations, or choose the next informative experiment.
The core invariant is scientific usefulness requires credible behavior in the regime where a decision will be made. A low average test error is insufficient when the model violates a boundary condition, loses conservation, becomes overconfident under extrapolation, or is slower than the trusted solver at the required accuracy.
A learned approximation is not evidence of a scientific discovery by itself. Claims still require reproducible experiments, appropriate controls, uncertainty analysis, and independent domain review.
Frame the scientific decision before choosing a model
Start with the quantity that a scientist or engineer must decide, not with an architecture. Define the operating envelope, trusted evidence, acceptable error, cost of a wrong answer, and the fallback that remains available.
Approximate a solve
Forward surrogate
Predict a field or response from parameters, initial state, and boundary conditions. The surrogate earns its place when repeated predictions are faster at matched accuracy.
Infer a hidden cause
Inverse model
Estimate parameters, sources, or initial conditions from incomplete observations. Identifiability and posterior uncertainty matter as much as point error.
Repair a known gap
Hybrid simulator
Keep a numerical or mechanistic core and learn an unresolved closure, correction, or constitutive relation. The learned term needs explicit units and validity bounds.
Choose new evidence
Experiment policy
Rank simulations or physical experiments by information gain, cost, safety, and coverage of uncertain regimes rather than sampling blindly.
Write the contract in physical terms
- Inputs: name each state, parameter, geometry, forcing, and boundary condition with units and allowed ranges.
- Outputs: identify whether the model predicts a scalar, field, trajectory, distribution, or decision-relevant functional.
- Regime: bound Reynolds number, temperature, composition, mesh family, forecast horizon, or another domain-specific coordinate.
- Reference: state which experiment, analytical result, or converged solver defines credible evidence.
- Tolerance: set error and constraint limits per variable and regime, not one unqualified score.
- Fallback: preserve a trusted solver, conservative controller, human review, or explicit refusal outside the validated envelope.
A scientific ML evidence loop
The learned model sits inside a versioned scientific workflow. Validation can send a candidate back to data design, constraints, or model design before any result is used.
Decision and regime
Scientific specification
Defines variables, units, geometry, symmetries, governing relations, tolerances, and the intended decision.
Observations and solves
Evidence factory
Versions experimental data, simulation settings, meshes, solver tolerances, and provenance for every sample.
Learn with structure
Scientific model
Combines a representation and objective appropriate to the field, operator, inverse problem, or hybrid correction.
Challenge the claim
Validation laboratory
Tests held-out regimes, constraint residuals, uncertainty calibration, stability, and matched-accuracy baselines.
Decide with fallback
Bounded use
Releases only inside an explicit envelope, logs provenance, detects extrapolation, and routes unsupported cases to a trusted path.
Treat data as sampled physics, not interchangeable rows
Scientific datasets have spatial, temporal, geometric, and experimental dependence. A random row split can leak nearly identical states into train and test sets while leaving the model untested on the regime that matters.
Build evidence around regimes
- Split by complete trajectories, experiments, sites, geometries, material families, time windows, or parameter ranges.
- Record units, coordinate systems, sensor calibration, missingness, mesh and discretization, solver tolerances, and boundary conditions.
- Nondimensionalize when it exposes shared physical structure, but retain the transformation and reference scales in provenance.
- Sample boundaries, discontinuities, rare events, and transition regions deliberately; uniform sampling can underrepresent them.
- Keep a protected challenge set that reflects deployment decisions and is not repeatedly optimized during development.
Separate uncertainty sources
- Measurement uncertainty comes from instruments, labeling, preprocessing, and observation geometry.
- Numerical uncertainty comes from discretization, convergence tolerance, approximation order, and solver implementation.
- Parameter uncertainty reflects unknown coefficients, initial states, or boundary values.
- Model-form uncertainty reflects missing or simplified mechanisms in the scientific model.
- Surrogate uncertainty reflects finite data, imperfect optimization, and limited model capacity.
Collapsing these into one error bar hides which intervention can improve the system.
Choose where scientific structure enters the model
Scientific knowledge can shape the data, architecture, objective, or output. Stronger enforcement is useful only when the encoded knowledge is correct for the operating regime.
Learn from paired examples
Data-driven surrogate
Learn inputs to outputs from simulations or observations. This is often simple to train, but coverage and extrapolation boundaries must be explicit.
Penalize violations
Soft-constrained model
Add equation residuals, conservation terms, boundary losses, or symmetry penalties. Every term needs compatible scaling and separate validation.
Build in an invariant
Hard-constrained model
Use coordinates, parameterizations, equivariant layers, or projection operators that make selected violations impossible by construction.
Map functions to functions
Neural operator
Learn a family of solution operators across forcing, coefficients, or initial conditions instead of fitting one finite-dimensional solution.
Keep the trusted core
Hybrid correction
Run a mechanistic solver and learn only a closure or discrepancy term. Stability and coupling behavior must be tested end to end.
Represent alternatives
Probabilistic model
Predict a distribution, ensemble, or posterior when observations cannot identify one answer. Calibration is evaluated empirically by regime.
Use the weakest assumption that materially improves the decision. A hard constraint can reduce impossible outputs, but it can also lock in an incomplete equation or incorrect boundary model.
Balance fit, constraints, and coverage without hiding failures
A common physics-informed objective combines observed data, governing-equation residuals, boundary or initial conditions, and regularization. The terms usually have different units, scales, sampling densities, and gradient magnitudes. The scalar total loss can improve while one scientifically critical term gets worse.
Use the workbench to change the scientific case, model strategy, observation coverage, and constraint emphasis. Watch in-regime fit, equation residual, boundary error, extrapolation risk, and training cost move independently.
Read every objective as a ledger
- Normalize residuals with physically meaningful reference scales before weighting them.
- Report every component in its own units or nondimensional form; never publish only the weighted sum.
- Inspect gradient conflict when improving one term consistently damages another.
- Resample collocation and boundary points where residual structure changes, not only where data is dense.
- Stop training against protected validation regimes; use them to test the claim, not tune it.
The executable example mirrors the lab's illustrative budget. It keeps each evidence channel visible instead of treating a weighted objective as proof of validity.
Physics-informed neural networks are one tool, not the definition
A physics-informed neural network, or PINN, represents a candidate solution with a neural network. Automatic differentiation evaluates derivatives of that candidate with respect to its coordinates, and training penalizes governing-equation and boundary residuals alongside observations.
1 Contract
Specify the mathematical problem
Define variables, units, domain, equations, known and inferred parameters, boundary conditions, and the quantity used for validation.
2 Evidence
Sample distinct evidence
Keep observations, interior collocation points, boundaries, interfaces, and initial conditions identifiable in the dataset and objective.
3 Train
Optimize a visible ledger
Track data, equation, boundary, and regularization terms separately, including their gradients and regime-level behavior.
4 Validate
Challenge the solution
Compare against analytical results, converged solvers, experiments, conservation checks, and held-out parameter regimes.
Know when a PINN can struggle
- Multi-scale or stiff dynamics can produce badly imbalanced gradients.
- Shocks and discontinuities are difficult for smooth network parameterizations and residual losses.
- A small residual at sampled points does not prove a globally accurate solution.
- Inverse problems can remain non-identifiable even when optimization converges.
- Training one network per problem instance can be more expensive than a mature numerical solver.
Use a PINN when its mesh-free differentiation, inverse formulation, or data-equation fusion serves the scientific contract. Use a classical solver, hybrid method, or operator learner when that produces stronger evidence at lower total cost.
Validate a surrogate at matched scientific utility
Surrogate validation compares more than wall-clock latency. The reference solver and learned model must be evaluated at a matched level of accuracy and on the same hardware, precision, domain, and output quantities.
By regime
Predictive fidelity
Report variables, units, spatial slices, horizons, and rare conditions
Residual
Physical credibility
Measure equations, conservation, boundaries, symmetry, and stability separately
Coverage
Uncertainty quality
Check empirical interval coverage and usefulness on protected regimes
End to end
Scientific utility
Include evidence generation, training, inference, verification, and fallback cost
Design splits that test the claim
- Interpolation split: withhold samples inside the represented parameter envelope.
- Regime split: withhold a connected range, geometry family, forcing pattern, or material class.
- Resolution split: change mesh or sensor resolution without confusing resolution with new physics.
- Temporal split: evaluate longer horizons and later operating periods to expose accumulated error and drift.
- Cross-method split: compare with an analytical result, independent codebase, alternate discretization, or physical experiment.
Measure the quantities that can change a decision
- Field norms can hide local extremes, so report boundary, peak, interface, and integral errors where relevant.
- One-step error can hide rollout instability, so test the full decision horizon.
- Average calibration can hide failure in a rare regime, so report coverage and sharpness by regime.
- A speedup without preprocessing, data generation, transfer, or verification cost can misstate operational value.
Make uncertainty trigger an operational response
Uncertainty is useful only when it changes what the system does. An ensemble spread, posterior interval, or conformal interval must be checked against empirical errors on representative calibration data. Outside that evidence, uncertainty is a warning signal rather than a guarantee.
Use the release lab to inspect a regime change, vary independent evidence and empirical interval coverage, control interval width, and commit to a release posture. The lab separates calibration from sharpness: an interval can cover often and still be too wide to support the decision.
Define the fallback before the alert
- Route unsupported inputs to a trusted solver or measurement process.
- Narrow the operating envelope when evidence is insufficient for one regime.
- Request a new simulation or experiment where expected information gain is high.
- Escalate high-consequence results for independent scientific review.
- Preserve inputs, model version, data version, uncertainty output, gate decision, and eventual observed outcome.
Operate the model as part of a scientific instrument
The production unit is the complete evidence path: data acquisition, transforms, scientific model, learned weights, uncertainty method, validation suite, and downstream decision. Version and monitor that whole path.
Record enough provenance to reproduce a result
- Raw data and calibration versions, units, coordinate conventions, and excluded observations.
- Simulator source, mesh, discretization, solver tolerances, seeds, and hardware precision.
- Feature transformations, nondimensional reference scales, architecture, objective terms, and checkpoints.
- Evaluation datasets, regime definitions, baseline settings, uncertainty calibration, and reviewer decisions.
- Runtime input envelope, extrapolation indicators, fallback events, and downstream scientific outcomes.
Watch for scientific drift
- Sensor replacement can alter noise, resolution, or missingness before a distribution metric moves.
- A solver upgrade can change labels and numerical uncertainty without any physical change.
- A new geometry or material family can invalidate an interpolation claim.
- A downstream optimization policy can concentrate requests near the surrogate's weakest region.
- Recalibration can improve aggregate coverage while degrading a safety-critical slice.
When any boundary changes, reopen the evidence contract. Retraining alone does not establish that the changed system is scientifically credible.
Use a release checklist that can fail closed
- Specification: variables, units, equations, assumptions, regime, and decision tolerance are explicit.
- Evidence: observations and numerical labels have provenance, uncertainty, and leakage-resistant splits.
- Baselines: the learned model is compared with trusted numerical and statistical methods at matched utility.
- Constraints: residuals, boundaries, conservation, symmetry, and stability are measured separately.
- Uncertainty: empirical coverage and interval usefulness are tested by protected regime.
- Containment: extrapolation is detected and a trusted fallback is tested under realistic dependencies.
- Reproducibility: code, configuration, data versions, seeds, precision, and hardware are sufficient to repeat the result.
- Review: domain experts and independent reviewers can inspect the evidence behind the release decision.
Primary references
- Physics-informed neural networks introduces residual-based neural formulations for forward and inverse problems governed by nonlinear partial differential equations.
- Fourier Neural Operator for Parametric Partial Differential Equations learns mappings between function spaces across families of PDE instances.
- Neural Operator: Learning Maps Between Function Spaces develops the operator-learning framework and surveys approximation and discretization considerations.
- Simple and Scalable Predictive Uncertainty Estimation using Deep Ensembles evaluates ensembles as a practical predictive-uncertainty method.
- On Calibration of Modern Neural Networks distinguishes predictive accuracy from calibrated confidence and evaluates post-hoc calibration.
- PDEBench provides diverse time-dependent PDE benchmarks and evaluation guidance for learned surrogates.