Meadows, J.; Valentino, M.; Freitas, A. Controlling Equational Reasoning in Large Language Models With Prompt Interventions. AAAI 2025, 39, 24858-24866.