Without requiring additional fine-tuning, LLEMMA can solve math problems and leverage computational tools, such as the Python interpreter and formal theorem provers, to solve mathematical problems ...