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

1 points | by donk8r 8 hours ago