Ammar Hakim - BEACONS & BEACONS-FM: Modular, Composable, Formally Verified Fusion Foundation Models @IPAMUCLA
Ammar Hakim - BEACONS & BEACONS-FM: Modular, Composable, Formally Verified Fusion Foundation Models  @IPAMUCLA
Uploaded April 2026 | Updated September 2026, 3 weeks ago
Recorded 16 April 2026. Ammar Hakim of the Princeton Plasma Physics Lab presents "BEACONS and BEACONS-FM: Lighting a Path to Modular, Composable, Formally Verified Fusion Foundation Models" at IPAM's Learning Models from Data for Multi-Fidelity Fusion Plasma Physics Workshop.
Abstract: I will present our research program in constructing modular, composable, formally verified foundation models, with application to fusion. This program has three hierarchical parts, building on top of each other: (1) formally verified numerical solvers, (2) neural solvers that maintain bounded errors in extrapolatory regimes, and (3) foundation models that use a mixture-of-experts approach to construct super-networks to solve complex physics problems. Our key insights are derived from measure theory and category theory, allowing us to use continuity properties to decompose a function in a way that minimizes errors, even in regimes outside the training set. I will show how we can use these theoretical building blocks to construct deep networks, and in turn use these deep networks to build foundation models. As an example, I will show applications to hydrodynamics, culminating in full (2D and 3D) profile predictions for NSTX-U experimental shots. This work was performed in collaboration with Jonathan Gorard (Princeton University).
Learn more online at: https://www.ipam.ucla.edu/programs/workshops/workshop-ii-learning-models-from-data-for-multi-fidelity-fusion-plasma-physics/
Ammar Hakim - BEACONS & BEACONS-FM: Modular, Composable, Formally Verified Fusion Foundation ModelsSophia Henneberg - Optimization of Quasi-Axisymmetric Stellarator- ; Tokamak Hybrids - IPAM at UCLAFrank Jenko - Plasma Models in Fusion Research - IPAM at UCLAKaren Willcox - Learning Structure-exploiting Reduced Models with Operator InferenceEduardo Siman - Image-to-Image Tropical Cyclone Wind Field Diagnosis - IPAM at UCLADamek Davis - Trying to estimate the slope of AI for Math progress in my field - IPAM at UCLAElias Bareinboim - Towards Causal AI: From Mechanism to Understanding - IPAM at UCLAJiequn Han - Learning Evolution Operators Across PDE Systems: MetaLearning & TestTime GeneralizationTuca Auffinger - Open Mathematical Problems in Manifold Learning for Single-Cell Data - IPAM at UCLAGal Mishne - From Explanations to Mechanisms: Interpreting Computation in Graph Neural NetworksKarsten Reuter - First-Principle based Modelling of Electrocatalysis Beyond Potential of Zero ChargeEddie Schoute - Tour de gross: A modular quantum computer based on bivariate bicycle codes
Institute for Pure & Applied Mathematics (IPAM) |

Ammar Hakim - BEACONS & BEACONS-FM: Modular, Composable, Formally Verified Fusion Foundation Models

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER