A arxiv.org MAGS: Machine-checked guarantees on specified safety properties in AI code 1 points donk8r 15 days ago 0 comments