2 papers
cs.SC2025
Structuring Definitions in Mathematical Libraries
Alena Gusakov, Peter Nelson, Stephen Watt
Codifying mathematical theories in a proof assistant or computer algebra system is a challenging task, of which the most difficult part is, counterintuitively, structuring definiti…
cs.CY2025
Generative AI for Multiple Choice STEM Assessments
Christina Perdikoulias, Chad Vance, Stephen M. Watt
Artificial intelligence (AI) technology enables a range of enhancements in computer-aided instruction, from accelerating the creation of teaching materials to customizing learning…