5 papers
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…
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…
Algorithms for Recursive Block Matrices
Stephen M. Watt
We study certain linear algebra algorithms for recursive block matrices. This representation has useful practical and theoretical properties. We summarize some previous results for…
Using General Large Language Models to Classify Mathematical Documents
Patrick D. F. Ion, Stephen M. Watt
In this article we report on an initial exploration to assess the viability of using the general large language models (LLMs), recently made public, to classify mathematical docume…
GPU Implementations for Midsize Integer Addition and Multiplication
Cosmin E. Oancea, Stephen M. Watt
This paper explores practical aspects of using a high-level functional language for GPU-based arithmetic on ``midsize'' integers. By this we mean integers of up to about a quarter…