MAGS: Machine-checked guarantees on specified safety properties in AI code

As artificial intelligence systems become increasingly embedded in critical infrastructure and high-stakes decision-making processes, the demand for verifiable safety guarantees has moved from a theoretical luxury to an engineering necessity.