Skip to main content
Search

# Differentiable Programming

3 related articles

Subscribe to updates
  1. arXiv

    Strength criteria stop being hand-picked: a sparse differentiable search bakes convexity and uniqueness into the fit, cutting concrete's cross-validated error fourfold

    Multiaxial strength tests give only a few dozen failure stress states, and choosing which limit surface to fit has long relied on manual comparison and visual checks. Researchers recast that choice as sparse model discovery with differentiable penalties, define the surface by the first root along rays so the equivalent stress is explicitly solvable, and add PBP atoms with learnable shape parameters plus competition-gated mixtures of experts. On concrete data the PBP model's cross-validated error is about a quarter of the monomial library's, and measured strength ratios are reproduced within a few per cent.

  2. DiFVM puts an unstructured-mesh finite-volume solver on the GPU: one card beats 32-core OpenFOAM and still yields end-to-end gradients

    DiFVM rewrites the complete finite-volume/PISO solution procedure on unstructured polyhedral meshes as vectorized scatter and gather operations over a static graph, giving GPU-native execution and end-to-end automatic differentiation in JAX/XLA. Existing differentiable CFD platforms mostly rely on Cartesian or structured grids and do not directly handle body-conforming complex geometries. On a single NVIDIA L40 GPU, DiFVM is faster than 32-core parallel OpenFOAM in every tested case, the largest with about 106 control volumes; differentiability is demonstrated by recovering a cavity lid velocity and inferring six Windkessel parameters simultaneously.

  3. arXiv

    AEGIS couples Mars atmospheric physics to a differentiable Dinosaur core, yielding stable ten-Mars-year integrations that reproduce the seasonal CO2 cycle

    The authors present AEGIS, a differentiable Mars climate model that couples Mars radiation, surface, CO2 frost, and regolith physics to the Dinosaur spectral dynamical core; at T21/L12 it completes stable ten-Mars-year integrations, reproduces the seasonal CO2 cycle while conserving the total atmosphere–frost CO2 inventory to very small drift, produces surface pressure that follows MOLA topography, and yields automatic-differentiation gradients that agree with finite differences for physical calibration and neural-closure training.

You’re all caught up