Using generative AI to give feedback on formal proofs

Fecha: .
Hora: 12:30 hora española.

Ponente: Marie-Amélie Lawn (Imperial College London, UK).

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.

La programación y mantenimiento de las páginas web albergadas en este sitio se han realizado con Software Libre por Ruvic. Soluciones Informáticas

Logo de Ruvic. Soluciones informáticas

The programming and maintenance of web pages hosted on this site were made with Free Software by Ruvic. Soluciones Informáticas

Logo de Ruvic. Soluciones informáticas