Presentations 2026 CSLib: The Lean Computer Science Library, Foundations of AI Seminar Series, Georgia Tech, Atlanta
