13 Nov 2023
16m
Lemur: Integrating Large Language Models in Automated Program Verification
Simons Institute
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.