I'm starting a interview series of people working in Lean / formal methods / math formalization
Source ↗
👁 3
💬 0
I think the topics of discussion would be of interest to a lot of people here, so I thought I'd share the first episode:Tanner Duve is a Member of Technical Staff at Logical Intelligence working on formal verification and compilers in Lean, an open-source contributor to Mathlib and CSLib, and a former D1 football player.I sat down with him for a conversation about his work and his thoughts on the future of AI-assisted math formalization.Chapters:00:00 Intro05:12 Social aspect of formal verificat
Comments (0)