Talk in the INdAM seminar series

I will give the talk “Can We Really Trust a Lean Proof? What We Gain from Human- and AI-Written Proofs” at the INdAM seminar series Lean, Formalized Mathematics and AI-Assisted Discovery on 14 December 2026 at 14:30 CET. Watch on YouTube.