14:00
2026-08-15
lesswrong.com
artificial-intelligence
I'm starting a interview series of people working in Lean / formal methods / math formalization
Tanner Duve, Member of Technical Staff at Logical Intelligence, discusses formal verification, compilers in Lean, and AI-assisted math formalization in the first episode of a new interview series. The…