October 2024 Progress in Guaranteed Safe AI

post by Quinn (quinn-dougherty) · 2024-10-28T23:34:51.689Z · LW · GW · 0 comments

This is a link post for https://gsai.substack.com/p/october-2024-progress-in-guaranteed

Contents

No comments

• Safeguarded AI TA 1.4 funding call
• A way of verifying quantitative properties of program pairs
• The lean zulip aggregates recent ICLR submissions.
• If rust's compiler wasn't strong enough already...
• verified controller synthesis for heterogeneous dynamical systems
• A dafny coding benchmark

0 comments

Comments sorted by top scores.