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

1 points | by donk8r an hour ago

No comments yet