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

(arxiv.org)

1 points | by donk8r 8 hours ago

No comments yet.