RSS

Andrew Dickson

Karma: 161

Limi­ta­tions on For­mal Ver­ifi­ca­tion for AI Safety

Andrew Dickson19 Aug 2024 23:03 UTC
133 points
60 comments23 min readLW link