20 Aug 2024
42m
“Limitations on Formal Verification for AI Safety ” by Andrew Dickson
LessWrong (30+ Karma)
Open in Podwise to generate AI notes
Sign in to process this episode and unlock summaries, transcripts, highlights and translations.
Shownotes are not generated by Podwise.