))
Root Causes 436: Formal Proofs
Manage episode 447525132 series 3608539
Nội dung được cung cấp bởi Tim Callan and Jason Soroko. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Tim Callan and Jason Soroko hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.
Formal proofs are critical to cryptography. We discuss how better processes and AI can accelerate formal proofs of cryptographic concepts.
…
continue reading
475 tập
Chia sẻ
