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

1 pointsposted 8 hours ago
by donk8r
(arxiv.org)

No comments yet