Generating Mathematical Derivations with Large Language Models