This is a linkpost for https://gsai.substack.com/p/october-2024-progress-in-guaranteed
- 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