RSS

Andrew Dickson

Karma: 163

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

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