Comparing Different Approaches to Generating Mathematics Explanations Using Large Language Models. - Ethan Prihar; Morgan P. Lee; Mia Hopman; Adam Tauman Kalai; Sofia Vempala; Allison Wang; Gabriel Wickline; Aly Murray; Neil T. Heffernan (AIED (Posters/Late Breaking Results/...), 2023)

Combining Cost-Constrained Runtime Monitors for AI Safety. - Tim Tian Hua; James Baskerville; Henri Lemoine; Mia Hopman; Aryan Bhatt; Tyler Tracy (CoRR, 2025)