Formal-proof robustness, differentiable physics solvers, sparse PINNs, and symbolic discovery
Four selected developments: a strong diagnostic theorem-proving benchmark, two hybrid radiation-dose solvers, physics-aware PINN pruning, and a neural–sparse symbolic-regression pipeline.
Read issue 1 →