25 Jun 2024
14m
AF - Formal verification, heuristic explanations and surprise accounting by Jacob Hilton
The Nonlinear Library
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.