October 2024 Progress in Guaranteed Safe AI

[Quinn]

Link post

• 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