This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
477
LESSWRONG
LW
Login
476
October 2024 Progress in Guaranteed Safe AI — LessWrong
Newsletters
AI
Personal Blog
7
October 2024 Progress in Guaranteed Safe
AI
by
Quinn
28th Oct 2024
1 min read
0
7
This is a linkpost for
https://gsai.substack.com/p/october-2024-progress-in-guaranteed
New Comment
Submit
Moderation Log
More from
Quinn
View more
Curated and popular this week
0
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