Using generative AI to give feedback on formal proofs

Start: 31 October 2025 12:30
End: 31 October 2025 13:30
Categories: Conference, External events, Outreach, Instituto de Matemáticas UGR

Where: Online event

Ponente: Marie-Amélie Lawn (Imperial College London, UK)
Fecha: 31 de octubre de 2025.
Hora: 12:30 hora española.
Enlace a la videollamada: visitar la web del Seminario de Geometría de IMAG https://wpd.ugr.es/~geometry/seminar/es
Title: Using generative AI to give feedback on formal proofs
Abstract: Can large language models improve feedback on undergraduate proof writing without lowering standards? I present a practical way to guide an LLM so its comments are focused, consistent, and aligned with course aims—while academic judgement stays with the instructor. In a pilot with first-year work, this approach surfaced common misconceptions early and shortened feedback cycles. I’ll outline the idea, note what helped and what failed, and discuss where AI can responsibly sit alongside human marking.