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

No comments yet.